Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options answers only not deleted user 7206

A metric space is a pair $(X,d)$, where $X$ is a set and $d:X \times X \to \mathbb{R}$ satisfies the following conditions for all $x,y,z \in X$. (Symmetry) $d(x,y)=d(y,x)$. (Identity of Indiscernibles) $d(x,y)=0$ if and only if $x=y$. (Triangle Inequality) $d(x,y)+d(y,z) \geq d(x,z)$.

12 votes
Accepted

Totally bounded spaces and axiom of choice

The issue here is that a metric space might not have non-trivial (read: not eventually constant) Cauchy sequences. For example, if the underlying space is a Dedekind finite set. Indeed it is consiste …
Asaf Karagila's user avatar
  • 39.8k
18 votes
Accepted

BCT equivalent to DC

You can find it, amongst other places in my write up: Zornian Functional Analysis or: How I Learned to Stop Worrying and Love the Axiom of Choice. If you need a source to cite, my money is on Handbo …
Asaf Karagila's user avatar
  • 39.8k