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:
“One definition of man is “an intelligence served by organs.””
—Ralph Waldo Emerson (1803–1882)
“No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
—Florence Nightingale (1820–1910)
“The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.”
—Ralph Waldo Emerson (1803–1882)