Let (X, O) be a topological space. Prove the following statements about the closed subsets of X:

(i) 0 and X are closed

(ii) If F1, F2 contained in X are closed, then the union of F1 and F2 is closed.

Printable View

- January 17th 2006, 07:40 AMTexasGirlProof in a topological space
Let (X, O) be a topological space. Prove the following statements about the closed subsets of X:

(i) 0 and X are closed

(ii) If F1, F2 contained in X are closed, then the union of F1 and F2 is closed. - January 17th 2006, 02:47 PMThePerfectHacker
Let be a topology on set .

1) Since its complement is thus, is closed.

Now since its complement is thus, is closed. - January 17th 2006, 02:54 PMThePerfectHacker
2)Since are closed there exists sets respectively, such as their complenets give these sets. But, because is topological space then the union of any sets is an element of (by definition).But, the complement of is . Thus, is closed.

Just a warning I have never studied topology. Thus, what I may have said is completely wrong. But I think I understand the question. - January 17th 2006, 07:56 PMCaptainBlackQuote:

Originally Posted by**ThePerfectHacker**

does not work. What does is:

,

(where denotes the complement of )

but the intersection of two open sets (in this case and ), is open so

is open, and so is closed.

.

RonL - January 18th 2006, 01:43 PMThePerfectHacker
Stupid me forgot to use de Morgan's Law's for sets :(

CaptainBlack is right.

But you (CaptainBlack) forgot to mention one important thing when you were destroying my proof. You forgot to state the the intersection of two sets is an element of the topological space. - January 18th 2006, 02:17 PMCaptainBlackQuote:

Originally Posted by**ThePerfectHacker**

set (space) and O is the collection of subsets of X which are open.

X being a set inherits all the properties of sets, such as intersections and

unions of subsets of X also being subsets of X.

RonL - January 18th 2006, 02:22 PMThePerfectHacker
I see what you are saying. I just never studied topology, and did not know what stood for. When did you learn topology?

- January 18th 2006, 02:55 PMTexasGirlOne more...
For the same topological space, how do I show the following:

Let A be nonempty. If Fa contained in X is closed for each a contained in A, then ∩a Fa is closed. - January 18th 2006, 07:11 PMThePerfectHacker
This is how understand it its complement is ?

- January 18th 2006, 11:35 PMCaptainBlackQuote:

Originally Posted by**ThePerfectHacker**

you should at least first look it up on MathWorld or on Wikipedia,

both of which are pretty good for this (I usualy do even if I am familiar with

the field).

When did I learn about topological spaces - as a final year undergraduate in

a course on Functional Analysis, about 30 years ago, but I don't see how

that is relevant to anything.

RonL - January 18th 2006, 11:45 PMCaptainBlackQuote:

Originally Posted by**TexasGirl**

Topological Space on Wikipedia for an definition of a topological space in terms

of closed sets, and de Morgan's Laws on PlanetMath for the stuff needed

to justify the Wikipedia statement.

But briefy (look at the references for justification):

,

but the LHS is the complement of an open set and so closed so the RHS is

closed (an arbitary union of open sets is open, and all the are close

so all the are open).

RonL - January 19th 2006, 12:42 PMThePerfectHacker
I always use wikipedia for math help. This is how I answered this topology question. I think wikipedia is the best link for math help.

- January 20th 2006, 10:07 AMThePerfectHacker
I was thinking about topological spaces and wondered if this has any importance.

1)Let be a group.

2)Let

3)Define

4)Thus, is a topology on

This is because the union/intersection of two groups is a itself a group and also because satisfies the topology axioms. - January 20th 2006, 10:42 AMCaptainBlackQuote:

Originally Posted by**ThePerfectHacker**

binary operation defined on , such that the combination satisfies

the axioms for a group.

You have only used the set in your construction and none of

the properties of , so what you have done is in fact true

for any set.

Quote:

2)Let

In which case this is the power set of , usually written:

.

Quote:

3)Define

as and so an element of already (the null set is a subset of every set).

Quote:

4)Thus, is a topology on

This is because the union/intersection of two groups is a itself a group and also because satisfies the topology axioms.

RonL - January 21st 2006, 06:04 PMThePerfectHacker
CaptainBlack what you said is true. I made a mistake in how I posed my question, I wanted to say a

**subgroup**not a**subset**.

The revised question:

1)Let be a group.

2)Let .

3)Let .

4)Then is a topology on .

The reason is because the union/intersection of two subgroups is a subgroup.