Is the Definition of a Topological Space Paradoxical?

Click For Summary
SUMMARY

The discussion centers on the definition and interpretation of topological spaces, specifically addressing the apparent paradox of a set being a member of its own power set. Participants clarify that a topological space is defined as a set X along with a collection T of subsets that includes X itself, the empty set, and satisfies specific axioms regarding unions and intersections. The conversation also distinguishes between open and closed sets, emphasizing that open sets are defined by their inclusion in a topology, while closed sets are characterized by their complements being open. The distinction between algebraic and geometric concepts in topology is also explored, concluding that topological definitions are fundamentally set-theoretic.

PREREQUISITES
  • Understanding of set theory and power sets
  • Familiarity with basic topology concepts, including open and closed sets
  • Knowledge of axiomatic definitions in mathematics
  • Basic comprehension of metric spaces and their properties
NEXT STEPS
  • Study the axioms of topology and their implications in set theory
  • Learn about the properties and examples of open and closed sets in various topological spaces
  • Explore the concept of continuity in relation to open sets
  • Investigate the differences between metric spaces and topological spaces
USEFUL FOR

Mathematics students, particularly those studying topology and differential geometry, as well as educators and researchers interested in foundational mathematical concepts.

  • #31
I don't think that Differential Geometry requires a strong background in topology, but my experience with Differential Geometry hasn't exactly been the best, so someone else should probably comment on that.

http://math.ucr.edu/home/baez/

might help with your quest for information.
 
Physics news on Phys.org
  • #32
T is not a subset of X. T is a collection of subsets of X. In other words, T is a set of sets. Your first reply said this in a fancy way, by stating that T is a subset of the power set of X. To be a topology, T must contain at least two elements: X itself, and the empty set. If T contains only these two sets, it is called the indiscreet topology
for X. If T contains all subsets of X, i.e., the entire power set, then T is called the
discreet topology. Interesting topologies associated with X are usually between these two extremes.
 
  • #33
Just learn differential geometry and tensor calculus, and you'll be set for a good into to GR. There are many good books on the topic; I like one called "A Short Course on General Relativity" by Nightingale.

- Warren
 
  • #34
this discussion persuades me that the art of reading books is hopelessly lost. anyone who read even a few pages of a mediocre book on topology would not have any of these questions.

web based learning is obviously a satanic invention of the powers of ignorance, superstition, and darkness!
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 42 ·
2
Replies
42
Views
11K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 25 ·
Replies
25
Views
3K