# Relation between IVT, Connectedness, Completness in Metric Space, LUB

Mathematics Asked by Saikat Goswami on August 25, 2020

The motive behind this question is:

1. In an ordered field LUB <=> IVT.
Is the IVT equivalent to completeness?

2. Connected Metric Space X does have IVP i.e "all continuous function f:M⟶R that admit a positive value
and a negative value, also admit a c∈M such that f(c)=0".
I read that the converse is also true.
If M a metric space with the property of Intermediate Value. Show that M is connected.

So LUB <=> IVT <=> Connectedness (Is this correct?)

1. Does the Complete Metric Space also have this property?

I am trying to find is a connection between Completion in Metric Space and Connectedness in Metric Space.

Also, Cauchy Completeness in R is weaker than LUB in R.(Cauchy Completion + Archimedian Property $$implies$$ LUB)

So does Completion in $$mathbb{R}$$ is stronger than Completion in Metric Spaces?

Basically I am trying to see the connections between all the the properties of Real Analysis and Metric Spaces.

There is no connection between completeness and connectedness. The middle-thirds Cantor set is complete in the usual metric and is zero-dimensional and hence totally disconnected. The irrationals are not complete in the usual metric, but they are a $$G_delta$$-subset of the complete metric space $$Bbb R$$, so there is a metric on them that generates the usual topology and in which they are complete. (Every $$G_delta$$-set in a complete metric space is completely metrizable.)

Answered by Brian M. Scott on August 25, 2020

## Related Questions

### Evaluate $int_0^{pi/2} frac{arctan{left(frac{2sin{x}}{2cos{x}-1}right)}sin{left(frac{x}{2}right)}}{sqrt{cos{x}}} , mathrm{d}x$

1  Asked on September 23, 2020 by user801111

### Problem with split exact sequences and free finitely generated modules

2  Asked on September 22, 2020 by aa_bb

### Well posedness of Burgers’ equation

0  Asked on September 21, 2020 by rage

### degree of minimal polynomial and degree of field extension

1  Asked on September 20, 2020 by ton910

### The set of all finite subsets of $mathbb{R}_+$ is countable.

1  Asked on September 19, 2020 by simey

### What is the probability that balls left are white?

1  Asked on September 18, 2020 by abhishek

### Dual image map restricts to open sets?

1  Asked on September 18, 2020 by blargoner

### How to compute $sum_{n=1}^infty{frac{n}{(2n+1)!}}$?

3  Asked on September 18, 2020 by samuel-a-morales

### Prove there is no rational number r such that $2^r = 3$

3  Asked on September 16, 2020 by yastown

### Rational Roots (with Lots of Square Roots!)

1  Asked on September 16, 2020 by fleccerd

### How to say a variable is invertible in Macaulay2?

1  Asked on September 14, 2020 by hlee

### Given $x, y in mathbb{R}^+$ and $x^3 + y^3 = x-y$. Prove $x^2 + 4y^2 < 1$

1  Asked on September 14, 2020 by user9026

### Is a relation that is purely reflexive also symmetric?

1  Asked on September 13, 2020 by paul-j

### $3^{123} mod 100$

4  Asked on September 13, 2020 by global05

### Totally order turing machines by halting

1  Asked on September 10, 2020 by donald-hobson

### Implications of an expected value on almost sure convergence

1  Asked on September 8, 2020 by qp212223

### Density of Tensor Products

0  Asked on September 8, 2020 by jacob-denson

### 2010 USAMO #5:Prove that if $frac{1}{p}-2S_q = frac{m}{n}$ for integers $m$ and $n$, then $m – n$ is divisible by $p$.

2  Asked on September 7, 2020 by shubhangi