Subspace (topology)

DEFINITION

Given a topological space

(X, 	au)

and a subset

S\sube X

, the subspace topology on

S

is defined by
:

au_S = \lbrace S \cap U \mid U \in 	au 
brace.

That is, a subset of

S

is open in the subspace topology Iff it is the Intersection of

S

with an Open Set in

(X, 	au)

. If

S

is equipped with the subspace topology then it is a topological space in its own right, and is called a subspace of

(X, 	au)

. Subsets of topological spaces are usually assumed to be equipped with the subspace topology unless otherwise stated.

If

S

is Open , Closed or Dense in

(X, 	au)

we call

(S, 	au_S)

an open subspace, '''closed subspace''' or '''dense subspace''' of

(X, 	au)

.

Alternatively we can define the subspace topology for a subset

S

X

as the Coarsest Topology for which the Inclusion Map
:

\iota: S \hookrightarrow X

is Continuous .

More generally, suppose

i : S 	o X

is an Injection from a set

S

to a topological space

X

. Then the subspace topology on

S

is defined as the coarsest topology for which

i

is continuous. The open sets in this topology are precisely the ones of the form

i^{-1}(U)

for

U

open in

X

S

is then Homeomorphic to its image in

X

(also with the subspace topology) and

i

is called a Topological Embedding .

EXAMPLES

Given the Real Number s with the usual topology the subspace topology of the Natural Number s, as a subspace of the real numbers, is the Discrete Topology .

The Rational Number s Q considered as a subspace of '''R''' do not have the discrete topology (the point 0 is not open in Q).

Let ''S'' = [0,1) be a subspace the real line R. Then [0,½) is open in ''S'' but not in R. Likewise [½, 1) is closed in ''S'' but not in R. ''S'' is both open and closed as a subset of itself but not as a subset of R.

PROPERTIES

The subspace topology has the following characteristic property. Let

Y

be a subspace of

X

and let

i : Y 	o X

be the inclusion map. Then for any topological space

Z

a map

f : Z	o Y

is continuous Iff the composite map

i\circ f

is continuous.

This property is characteristic in the sense that it can be used to define the subspace topology on

Y

.

We list some further properties of the subspace topology. In the following let

S

be a subspace of

X

If $f:X o Y$ is continuous the restriction to $S$ is continuous.

If $f:X o Y$ is continuous then $f:X o f(X)$ is continuous.

The closed sets in $S$ are precisely the intersections of $S$ with closed sets in $X$ .

If $A$ is a subspace of $S$ then $A$ is also a subspace of $X$ with the same topology. In other words the subspace topology that $A$ inherits from $S$ is the same as the one it inherits from $X$ .

Suppose $S$ is an open subspace of $X$ . Then a subspace of $S$ is open in $S$ iff it is open in $X$ .

Suppose $S$ is a closed subspace of $X$ . Then a subspace of $S$ is closed in $S$ iff it is closed in $X$ .

If $B$ is a Base for $X$ then $B_S = \{U\cap S : U \in B\}$ is a basis for $S$ .

The topology induced on a subset of a Metric Space by restricting the Metric to this subset coincides with subspace topology for this subset.

PRESERVATION OF TOPOLOGICAL PROPERTIES

If a topological space has a certain Topological Property and every subspace shares the same property we say the topological property is hereditary. If only closed subspaces share the property we call it '''weakly hereditary'''.

every open and every closed subspace of a Topologically Complete space is topologically complete

every open subspace of a Baire Space is a Baire space

every closed subspace of a Compact Space is compact.

being a Hausdorff Space is hereditary

Precompactness is hereditary

being Totally Disconnected is hereditary

First Countability and Second Countability is hereditary

REFERENCES

Bourbaki, Nicolas, ''Elements of Mathematics: General Topology'', Addison-Wesley (1966)

Steen, Lynn A. and Seeback, J. Arthur Jr., '' Counterexamples In Topology '', Holt, Rinehart and Winston (1970) ISBN 0030794854.

Wilard, Stephen. ''General Topology'', Dover Publications (2004) ISBN 0486434796

	APPAREL
	BABY
	BEAUTY
	BOOKS
	CAR TOYS
	CELL PHONES
	DVD'S
	ELECTRONICS
	GOURMET FOOD
	GROCERIES
	HEALTH & PERSONAL
	HOME & GARDEN
	JEWELRY
	MUSIC
	MUSIC INSTRUMENTS
	OFFICE PRODUCTS
	SOFTWARE
	SPORTING GOODS
	TOOLS & HARDWARE
	TOYS
	VIDEO GAMES
	SHOPPING HOME

	MORE SHOPPING...

	CATEGORIES ABOUT SUBSPACE TOPOLOGY

	topology

	general topology

Information About

Subspace (topology)