• Support PF! Buy your school textbooks, materials and every day products Here!

Proving T is a topology.

  • Thread starter cragar
  • Start date
  • #1
2,544
2

Homework Statement


Let X be a set and p is in X, show the collection T, consisting of the empty set and all the subsets of X containing p is a topology on X.



Homework Equations

?
A topology T on X is a collection of subsets of X.
i) X is open
ii) the intersection of finitely many open sets is open
iii) the union of any collection of open sets is an open set.

The Attempt at a Solution


How do I know that X is open. Maybe open doesn't mean the same thing as an open set on the reals.
if X is open. And If I take an intersection of a finite number of sets in T i will get something in T so by definition It will produce an open subset in T. And all my intersections will contain P because P is in every set.
for iii) If I take a union of all the subsets in T I will produce a subset in T containing p. I could not produce something outside of T because i started with sets that were part of
T.
 

Answers and Replies

  • #2
Bacle2
Science Advisor
1,089
10
Does X contain p? This is the way of telling if X is open in your topology.
 
  • #3
2,544
2
so because we know that p is in X , we know that it is open.
Is a topology just a way of defining properties on our weird set.
 
  • #4
Bacle2
Science Advisor
1,089
10
Well, after a lot of time , it was found that many of the properties that were

usually studied in topology could be defined in terms of open sets: continuity,

compactness,etc. And, yes, by assigning a topology to a set ,we gain the ability

to talk about topological concepts in the set. And with different topologies, we

end up with different topological properties.
 
  • #5
HallsofIvy
Science Advisor
Homework Helper
41,770
911
A topology T on X is a collection of subsets of X.
i) X is open
ii) the intersection of finitely many open sets is open
iii) the union of any collection of open sets is an open set.
Are you sure you have copied this correctly? You seem to be defining a "topology T" but then don't mention "T" in the definition! But you do talk about "open sets" without defining them.

What is your definition of "open" set? Normally, in General Topology, we define a topology, T, of X as a collection of subsets of X satisfying:
1) X is in T
2) The empty set is in T
3) The union of any subcollection in the T
4) The intersection of any finite subcollection is in the T

We then define a set to be "open" if and only if it is in the collection.
 
Last edited by a moderator:
  • #6
Bacle2
Science Advisor
1,089
10
Are you sure you have copied this correctly? You seem to be defining a "topology T" but then don't mention "T" in the definition! But you do talk about "open sets" without defining them.

What is your definition of "open" set? Normally, in General Topology, we define a topology, T, of X as a collection of subsets of X satisfying:
1) X is in T
2) The empty set is in T
3) The union of any subcollection in the T
4) The intersection of any finite subcollection is in the T

We then define a set to be "open" if and only if it is in the collection.
I thought we define a set U to be open if for every x in U there is an element Ux of T

as above, such that x is contained in Ux , and Ux is in T.
 
  • #7
2,544
2
ok thanks for your help guys
 
  • #8
vela
Staff Emeritus
Science Advisor
Homework Helper
Education Advisor
14,538
1,149
I thought we define a set U to be open if for every x in U there is an element Ux of T

as above, such that x is contained in Ux , and Ux is in T.
What do you mean by Ux?

It's been awhile since I took topology, but I remember it the way HallsofIvy said. If a set is in T, it is, by definition, open.
 
  • #9
SammyS
Staff Emeritus
Science Advisor
Homework Helper
Gold Member
11,224
947
What do you mean by Ux?

It's been awhile since I took topology, but I remember it the way HallsofIvy said. If a set is in T, it is, by definition, open.
Yes vela & Halls are correct. In fact the topology described in this problem is called the particular point topology (or included point topology).
 
  • #10
795
7
Yes vela & Halls are correct. In fact the topology described in this problem is called the particular point topology (or included point topology).
The particular point topology is the answer to an interesting question.

We know that if K is a compact topological space, every continuous function from K to the reals is bounded.

Now, if X is a topological space such that every continuous function from X to the reals is bounded, must X be compact?

The answer is (surprisingly) no. The counterexample is any infinite set with the particular point topology. The proof is simple and amusing.
 
Last edited:

Related Threads for: Proving T is a topology.

Replies
1
Views
1K
  • Last Post
2
Replies
38
Views
4K
Replies
3
Views
6K
Replies
2
Views
1K
Replies
0
Views
935
Replies
9
Views
683
  • Last Post
Replies
7
Views
1K
Replies
3
Views
5K
Top