It's been more than once I've found this expression "induced by", in a sentence of the form "$X$ is induced by $Y$, in mathematics and computer science. I usually associate "induced by" with "generated by". However, I am not always confident regarding its meaning.
For example, in the following sentence
If a planar subdivision is induced by $n$ line segments…
What's the precise meaning of "induced by", in general, and in the sentence above?
Best Answer
First, "induce" is a perfectly cromulent English word. The second definition that Google gives is relevant here:
In basic vernacular English, it is reasonable to say that "$A$ induces $B$" when $A$ causes $B$, though I think that there is a connotation of indirectness (i.e. there might not be that $A$ directly causes $B$, but $A$ creates the conditions for $B$). In mathematics, this is the definition that is generally meant. When we say that "$A$ induces $B$," we typically mean that $A$ gives rise to $B$, typically in some canonical manner.
For example (in an area with which I am more familiar), we often say that a "metric induces a topology". What this means is the following: if $(X,d)$ is a metric space, then the open balls, i.e. the collection $$ \mathscr{B} := \{ B(x,r) : x\in X, r> 0 \}, $$ where $B(x,r) := \{ y \in X : d(x,y) < r \}$, forms a basis for a topology on $X$. The topology generated by this basis is the topology induced by the metric. That is, the metric gives rise to this topology.
After a bit of Googling, a "planar subdivision induced by a set of $n$ line segments" seems to make sense in a similar way. Near as I can tell, a planar subdivision is a partition of the plane, i.e. a division of the plane into a collection of mutually disjoint sets whose union is the plane. A partition has more structure than just a collection of line segments, but a collection of line segments can give rise to a partition in a canonical manner. It is therefore appropriate to say that such a partition is induced by a collection of line segments.