320 likes | 343 Views
Learn about compactness in topological spaces, including definitions, examples, theorems, and the concept of open covering. Discover how finite and countable subcovers play a role in compactness.
E N D
Set TopologyMTH 251 Lecture # 27
Lecture Plan • Compactness • Definition • Examples • Theorems
Compactness In Topological Spaces Definition ( Open Cover ) • Let X be a topological space
Compactness In Topological Spaces Definition ( Open Cover ) • Let X be a topological space • A class F= {iI} of open subsets of X is called an open convering or cover of X,
Compactness In Topological Spaces Definition ( Open Cover ) • Let X be a topological space. • A class F= {iI} of open subsets of X is called an open convering or cover of X, • If =X, i I
Compactness In Topological Spaces Definition ( Open Cover ) • Let X be a topological space. • A class F= {iI} of open subsets of X is called an open convering or cover of X, • If =X, i I. • A class G= {i}, I, of open subsets of X is called a subcover of the cover F,
Compactness In Topological Spaces Definition ( Open Cover ) • Let X be a topological space. • A class F= {iI} of open subsets of X is called an open convering or cover of X, • If =X, i I. • A class G= {i}, I, of open subsets of X is called a subcover of the cover F, • If =X, i.
Compactness In Topological Spaces Definition ( Open Cover ) • Let X be a topological space. • A class F= {iI} of open subsets of X is called an open convering or cover of X, • If =X, i I. • A class G= {i}, I, of open subsets of X is called a subcover of the cover F, • If =X, i. • It is called a finite (respt. countable ) subcover, if is finite (respt. countable).
Example. Consider the class of is the open disc in the plane with radius 1 and centre, . Then is a cover of , i.e., every point in belongs to at least one member of . • On the other hand , the class of open discs Where is not a cover of . () but not belong to any member of H.
Definition (Compactness) • A space X is said to be compact, • if every open cover of X has a finite subcover.
Example. The interval on the real line with the usual topology is not compact.
Definition (Compact subset) • A space X is said to be compact,
Definition (Compact subset) • A space X is said to be compact, • if every open cover of X has a finite subcover.
Definition (Compact subset) • A space X is said to be compact, • if every open cover of X has a finite subcover. • A subset A of a space X is compact,
Definition (Compact subset) • A space X is said to be compact, • if every open cover of X has a finite subcover. • A subset A of a space X is compact, • if it is compact as a subspace of X.
Definition (Compact subset) • A space X is said to be compact, • if every open cover of X has a finite subcover. • A subset A of a space X is compact, • if it is compact as a subspace of X. • That is , if A is compact and ,
Definition (Compact subset) • A space X is said to be compact, • if every open cover of X has a finite subcover. • A subset A of a space X is compact, • if it is compact as a subspace of X. • That is , if A is compact and , • Then ,
Definition (Compac subset) • A space X is said to be compact, • if every open cover of X has a finite subcover. • A subset A of a space X is compact, • if it is compact as a subspace of X. • That is , if A is compact and , • Then , • Where is finite and each is open in X.
Example • All finite spaces are compact and are called trivial compact spaces.
Example • All finite spaces are compact and are called trivial compact spaces. • Every cofinite space is compact. (verify)
Example • All finite spaces are compact and are called trivial compact spaces. • Every cofinite space is compact. (verify) • R with the usual topology is not compact.
Example • All finite spaces are compact and are called trivial compact spaces. • Every cofinite space is compact. (verify) • R with the usual topology is not compact. • No infinite discrete space is compact (verify)
Theorem. Any finite union of compact subsets of a space X is compact.
Theorem. The continuous image of compact subset A of a space X is compact.
Theorem (Closed Hereditary Propety) A closed subspace of a compact space is compact.