Problem of the Week #111 - July 14th, 2014

  • Thread starter Thread starter Chris L T521
  • Start date Start date
Click For Summary
SUMMARY

The discussion addresses the problem of demonstrating that a connected metric space with more than one point is uncountable. Euge and magneto provided solutions, with Euge defining a continuous function \( f : M \to [0,1] \) based on the distances between points in the metric space. By applying the triangle inequality and the intermediate value theorem, it is established that the function maps the space onto the uncountable interval [0,1], thereby proving that the metric space \( M \) must be uncountable.

PREREQUISITES
  • Understanding of connected metric spaces
  • Familiarity with the triangle inequality in metric spaces
  • Knowledge of continuous functions and their properties
  • Application of the intermediate value theorem
NEXT STEPS
  • Study the properties of connected metric spaces in depth
  • Explore the implications of the triangle inequality in various contexts
  • Learn about continuous functions and their applications in topology
  • Investigate the intermediate value theorem and its proofs
USEFUL FOR

Mathematicians, students of topology, and anyone interested in the properties of metric spaces will benefit from this discussion.

Chris L T521
Gold Member
MHB
Messages
913
Reaction score
0
Here's this week's problem!

-----

Problem
: Show that a connected metric space having more than one point is uncountable.

-----

Remember to read the http://www.mathhelpboards.com/showthread.php?772-Problem-of-the-Week-%28POTW%29-Procedure-and-Guidelines to find out how to http://www.mathhelpboards.com/forms.php?do=form&fid=2!
 
Physics news on Phys.org
This week's problem was correctly answered by Euge and magneto. You can find Euge's solution below.

[sp]Let $(M, d)$ be a connected metric space with more than one point. Take distinct points $x, y\in M$, and define a function $f : M \to [0,1]$ by setting

$f(a) = \dfrac{d(x, a)}{d(x, a) + d(a, y)}.$

By the triangle inequality, $d(x, a) + d(a, y) \ge d(x, y) > 0$ for all $a \in M$. So $f$ is well-defined. Since the maps $a \mapsto d(x, a)$ and $a \mapsto d(a, y)$ are continuous, $f$ is continuous. Furthermore, $f(x) = 0$ and $f(y) = 1$. For $0 < k < 1$, the intermediate value theorem gives a $c\in M$ such that $f(c) = k$. Consequently, $f$ maps $M$ onto $[0,1]$, an uncountable set. Therefore $M$ is uncountable.[/sp]
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
3K