How Do Metric Space Properties Relate to Continuity?

  • Context: Undergrad 
  • Thread starter Thread starter trees and plants
  • Start date Start date
  • Tags Tags
    Metric
Click For Summary

Discussion Overview

The discussion revolves around the properties of metric spaces, specifically focusing on concepts such as compactness, completeness, connectedness, and separability. Participants explore how these properties relate to the notion of continuity, particularly in the context of the real line and its subsets.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant questions how the properties of metric spaces (compactness, completeness, connectedness, separatedness) can be understood in relation to the continuity of the real line, seeking applications rather than definitions.
  • Another participant characterizes connected subsets of the real line as intervals and compact sets as closed and bounded, referencing the Heine-Borel theorem.
  • There is a clarification regarding the term "separated metric space," with a later correction to "separable" and "separability." A participant notes that every subset of the reals is separable and that a subset is complete if and only if it is closed.
  • A participant poses questions about the metric space properties of the complex numbers, specifically whether the set of complex numbers with a given metric is separable and complete.
  • Responses confirm that the complex numbers form a metric space, are separable, and are complete, with a suggestion to consider the density of rational numbers in the reals as a countable dense subset.
  • Another participant connects the density of rational numbers in the reals to the density in the complex plane, noting the homeomorphism between ℝ² and ℂ.

Areas of Agreement / Disagreement

Participants generally agree on the properties of metric spaces discussed, but there are clarifications and corrections regarding terminology and specific definitions. The discussion includes multiple viewpoints on the implications of these properties without reaching a consensus on all points.

Contextual Notes

Some terms and definitions, such as "separatedness," were initially misused, leading to corrections. The discussion also touches on the completeness of subsets and their relationship to closure, which may depend on specific contexts.

trees and plants
Hello. The questions i make here in this thread are basically about like explanations of topics on metric spaces. We know about compactness, completeness, connectedness, separatedness, total boundedness of metric spaces. I know that continuity of the real line means that it has no gaps. What could we say about the properties of the metric spaces i described above in the spirit of the description of the continuity of the real line? I am not talking about the definition which is an abstraction, i am talking about the application of the definition like above in the real line. Thank you.
 
Physics news on Phys.org
The connected and compact subset of the real numbers can be characterised as follows:

Connected subset of the real line = interval
Compact set = closed + bounded subset (Heine Borel theorem).

What is your definition of "separated metric space" or what do you mean when talking about separatedness?
 
Math_QED said:
The connected and compact subset of the real numbers can be characterised as follows:

Connected subset of the real line = interval
Compact set = closed + bounded subset (Heine Borel theorem).

What is your definition of "separated metric space" or what do you mean when talking about separatedness?
Thank you. I am sorry i made mistakes. The correct are separable and separability not what i wrote. What about completeness( if i remember correctly it is about sequences, cauchy sequences, convergence)
 
Last edited by a moderator:
universe function said:
Thank you. I am sorry i made mistakes. The correct are separable and separability not what i wrote. What about completeness( if i remember correctly it is about sequences, cauchy sequences, convergence)

Every subset of the reals is separable. A subset of the reals is complete if and only it is closed.
 
I have another question but is a little off topic I think. Is C which is the set of complex numbers equipped with the metric that is related to the norm, d(x,y)=llx-yll2=√((x1-x0)2+(y1-y2)2), where x=(x1,x2), y=(y1,y2) a metric space? Is it separable? Is it complete if and only if it is closed? Excuse me if these questions have as answer no.
 
universe function said:
I have another question but is a little off topic I think. Is C which is the set of complex numbers equipped with the metric that is related to the norm, d(x,y)=llx-yll2=√((x1-x0)2+(y1-y2)2), where x=(x1,x2), y=(y1,y2) a metric space? Is it separable? Is it complete if and only if it is closed? Excuse me if these questions have as answer no.

Yes, it is a metric space. It is separable. Can you think of a countable dense subset? Hint: Use density of ##\Bbb{Q}## in ##\Bbb{R}##. It is definitely complete, because ##\mathbb{R}## is complete. Asking that it is closed makes little sense because every topological space is automatically closed in itself.
 
Math_QED said:
Yes, it is a metric space. It is separable. Can you think of a countable dense subset? Hint: Use density of ##\Bbb{Q}## in ##\Bbb{R}##. It is definitely complete, because ##\mathbb{R}## is complete. Asking that it is closed makes little sense because every topological space is automatically closed in itself.
Thank you, perhaps the answer is that ℚ2 is dense in ℝ2? and because ℝ2 is homeomorphic to ℂ then ℚ2 is dense in ℂ?
 
  • Like
Likes   Reactions: member 587159
universe function said:
Thank you, perhaps the answer is that ℚ2 is dense in ℝ2? and because ℝ2 is homeomorphic to ℂ then ℚ2 is dense in ℂ?

Yes, that's exactly it!
 
Math_QED said:
Yes, that's exactly it!
Oh, i answered it correctly.
 
  • Love
Likes   Reactions: member 587159

Similar threads

  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
Replies
2
Views
2K
  • · Replies 20 ·
Replies
20
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K