Another topology on the naturals

  • Thread starter Thread starter radou
  • Start date Start date
  • Tags Tags
    Topology
Click For Summary
SUMMARY

The discussion focuses on the topology defined on the set X = {1, 2, 3, 4, 5} with a subbasis V = {{2, 3, 4}, {1, 4, 5}, {2, 4, 5}, {1, 3}}. It concludes that the dense subset D = {1, 3, 4} satisfies the condition that its closure Cl(D) equals X. Additionally, the mapping f : (X, U) --> (X, P(X)), defined by f(x) = x, is confirmed to be continuous as the preimage of every open set in the codomain is open in the domain.

PREREQUISITES
  • Understanding of basic topology concepts, including dense subsets and closures.
  • Familiarity with subbases and bases in topological spaces.
  • Knowledge of continuous mappings between topological spaces.
  • Comprehension of power sets, specifically P(X).
NEXT STEPS
  • Study the properties of dense subsets in topological spaces.
  • Learn about the construction of bases from subbases in topology.
  • Explore the criteria for continuity in mappings between topological spaces.
  • Investigate examples of power sets and their applications in topology.
USEFUL FOR

Students and educators in mathematics, particularly those studying topology, as well as researchers interested in the properties of topological spaces and continuous mappings.

radou
Homework Helper
Messages
3,149
Reaction score
8

Homework Statement



Let X = {1, 2, 3, 4, 5} and V = {{2, 3, 4}, {1, 4, 5}, {2, 4, 5}, {1, 3}} be a subbasis of a topology U on X.

a) find all dense subsets of the topological space (X, U)
b) let f : (X, U) --> (X, P(X)) be a mapping defined with f(x) = x (P(X)) is the partitive set of X). Is f continuous?

The Attempt at a Solution



a) Since V is a subbasis, then the family of all finite intersections of the elements of V form a basis B. So, B = {{2, 3, 4}, {1, 4, 5}, {2, 4, 5}, {1, 3}, {1}, {3}, {4}, {2, 4}, {4, 5}, {0}}. A subset D of X is dense in X iff every open set in X intersects D. So, D = {1, 3, 4}. To make sure this is right, we can see if Cl(D) = X. The closed sets in X are {{1, 2, 3, 5}, {1, 3, 5}, {1, 2, 3}, {2, 3, 4, 5}, {1, 5}, {2, 3}, {1, 3}, {2, 4, 5}, {1, 2, 4, 5}, {1, 2, 3, 4, 5}}. The intersection of all closed sets containing D is {1, 2, 3, 4, 5} (it's the only set containing D, btw), so Cl(D) = X.

b) A mapping f between topological spaces is continuous iff the preimage of every open set in the codomain is open in the domain. For all sets in P(X) which are contained in U, this is obvious. If we take a set in P(X) (for example {2, 3}) which is not in U, then its preimage is the empty set, and hence is open in U. So, f is continuous.

Thanks in advance.
 

Similar threads

Replies
23
Views
4K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 58 ·
2
Replies
58
Views
5K
  • · Replies 9 ·
Replies
9
Views
4K
Replies
5
Views
2K
Replies
9
Views
2K
  • · Replies 27 ·
Replies
27
Views
4K
  • · Replies 16 ·
Replies
16
Views
2K
Replies
2
Views
2K