Definition
Let be sets, .
If is a topology on, then a topology coinduced on by is .
If is a topology on, then a topology induced on by is .
The easy way to remember the definitions above is to notice that finding an inverse image is used in both. This is because inverse image preserves union and intersection. Finding a direct image does not preserve intersection in general. Here is an example where this becomes a hurdle. Consider a set with a topology, a set and a function such that . A set of subsets is not a topology, because but .
There are equivalent definitions below.
A topology induced on by is the finest topology such that is continuous . This is a particular case of the final topology on .
A topology induced on by is the coarsest topology such that is continuous . This is a particular case of the initial topology on .
Read more about this topic: Induced Topology
Famous quotes containing the word definition:
“The man who knows governments most completely is he who troubles himself least about a definition which shall give their essence. Enjoying an intimate acquaintance with all their particularities in turn, he would naturally regard an abstract conception in which these were unified as a thing more misleading than enlightening.”
—William James (1842–1910)
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)
“Scientific method is the way to truth, but it affords, even in
principle, no unique definition of truth. Any so-called pragmatic
definition of truth is doomed to failure equally.”
—Willard Van Orman Quine (b. 1908)