1 Topological spaces Flashcards
A topology / topological space
Let X be a non-empty set. A set T of subsets of X is said to be a topology on X if: 1) X and the empty set O\ belong to T 2) The union of any number of sets in T belongs to T 3) The intersection of any two sets of in T belongs to T. The pair (X, T) is called a topological space.
Discrete topology / Discrete space
Let X be any non-empty set and let T be the collection of all subsets of X. Then T is called the discrete topology on the set X. The topological space (X, T) is called a discrete space.
Indiscrete topology / indiscrete space
Let X be any non-empty set and T = (X, O/). Then T is called the indiscrete topology and (X, T) is said to be an indiscrete space.
Open sets
Let (X, T) be any topological space. Then the members of T are said to be open sets.
Closed set
Let (X, T) be a topological space. A subset S of X is said to be a closed set in (X, T) if its complement in X, namely X \ S, is open in (X, T).
Clopen set
A subset S of a topological space (X, T) is said to be clopen if its both open and closed in (X,T).
Finite-closed topology (cofinite topology)
Let X be any non-empty set. A topology T on X is called the finite-closed topology or the cofinite topology if the closed subsets of X are X and all finite subsets of X; that is, the open sets are O/ and all subset of X which have finite complements.
Injective function
Let f be a function from a set X into a set Y.
The function f is said to be one-to-one or injective if f(x1) = f(x2) implies x1 = x2.
Surjective function
A function f from set X into a set Y is said to be surjective or onto if for each y in Y there exists an x in X such that f(x) = y
Bijective function
A function f is said to be bijective if its both injective and surjective.
Inverse function
Let f be a function from a set X into a set Y. The function f is said to have an inverse if there exists a function g of Y into X such that g(f(x)) = x for all x and f(g(y)) = y for all y. The function g is then called an inverse function of f.
Inverse image
Let f be a function from a set X into a set Y. If S is any subset of Y, then the set f-1(S) is defined by
f-1(S) = {x: x e X and f(x) e S}.
The subset f-1(S) is said to be the inverse image of S.