Purchase Solution

De Morgan's Laws

Not what you're looking for?

Ask Custom Question

1.Let X be a set and T and T' are two topologies on X.
Prove that if T subset of T' and (X,T') is compact, then (X,T) is compact.
Prove that if (X,T) is Hausdorff and (X,T') is compact with T subset of T', then T=T'.

2.Let X be a topological space. A family {F_a} with a in I of subsets of X is said to have the finite intersection property if for each finite subset J of I, the intersection of F_a with a in J is not empty .
Prove that X is compact if and only if for each family {F_a} with a in I of closed subsets of X that has the finite intersection property, the intersection {F_a} with a in I is not empty.

Purchase this Solution

Solution Summary

De Morgan's Laws are applied. FIP, Hausdorff and Compact are examined.

Solution Preview

1. Let X be a set and T and T' be two topologies on X. Prove that if T is a subset of T' and ( is compact, then is compact.
Prove that if is Hausdorff and is compact with T subset of T', then

Proof: Let X be a set and T and T' be two topologies on X. Suppose and is compact.

Let be an open cover of X by open sets in T. So Since every is an open set in So is an open cover of X by open sets in Since is compact, there exists a finite subcollection such that Therefore, is compact.

Now suppose that is Hausdorff and is compact with Consider the identity function defined by for all ...

Purchase this Solution


Free BrainMass Quizzes
Multiplying Complex Numbers

This is a short quiz to check your understanding of multiplication of complex numbers in rectangular form.

Probability Quiz

Some questions on probability

Geometry - Real Life Application Problems

Understanding of how geometry applies to in real-world contexts

Exponential Expressions

In this quiz, you will have a chance to practice basic terminology of exponential expressions and how to evaluate them.

Graphs and Functions

This quiz helps you easily identify a function and test your understanding of ranges, domains , function inverses and transformations.