Definition
Given a topological space and a subset of, the subspace topology on is defined by
That is, a subset of is open in the subspace topology if and only if it is the intersection of with an open set in . If is equipped with the subspace topology then it is a topological space in its own right, and is called a subspace of . Subsets of topological spaces are usually assumed to be equipped with the subspace topology unless otherwise stated.
Alternatively we can define the subspace topology for a subset of as the coarsest topology for which the inclusion map
is continuous.
More generally, suppose is an injection from a set to a topological space . Then the subspace topology on is defined as the coarsest topology for which is continuous. The open sets in this topology are precisely the ones of the form for open in . is then homeomorphic to its image in (also with the subspace topology) and is called a topological embedding.
Read more about this topic: Subspace Topology
Famous quotes containing the word definition:
“... 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)
“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)
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)