- #1

- 157

- 1

Thank you!

- Thread starter zooxanthellae
- Start date

- #1

- 157

- 1

Thank you!

- #2

- 431

- 0

- #3

disregardthat

Science Advisor

- 1,861

- 34

- #4

- 157

- 1

OK, thanks to you both.

- #5

Deveno

Science Advisor

- 906

- 6

how are they not satisfied? every condition for a metric holds for every element of Ø, no matter how we define the metric (although if you must have a definition, use d(x,x) = 0, d(x,y) = 1, for all x,y not in Ø).

Thank you!

- #6

- 431

- 0

... this all comes to vacuous truths again, as discussed elsewhere.

- #7

- 1,768

- 126

It's a function from X cross X to ℝ, plus some conditions.

If X is the empty set, it's a function from the empty set to ℝ.

What's a function from a set S to a set T?

Formally, it's a subset of S cross T, satisfying some condition.

So, the empty set can be viewed as a function from the empty set to any other set. The empty function. So, that's your metric and it vacuously satisfies all the conditions.

- #8

- 157

- 1

I wrote "not not satisfied", which is a slightly stupider way of saying "vacuously true" as Jamma and homeomorphic have clarified.how are they not satisfied? every condition for a metric holds for every element of Ø, no matter how we define the metric (although if you must have a definition, use d(x,x) = 0, d(x,y) = 1, for all x,y not in Ø).

- Last Post

- Replies
- 1

- Views
- 2K

- Last Post

- Replies
- 2

- Views
- 3K

- Last Post

- Replies
- 6

- Views
- 2K

- Replies
- 5

- Views
- 2K

- Replies
- 13

- Views
- 1K

- Last Post

- Replies
- 19

- Views
- 4K

- Last Post

- Replies
- 1

- Views
- 2K

- Last Post

- Replies
- 3

- Views
- 2K

- Replies
- 18

- Views
- 5K

- Last Post

- Replies
- 8

- Views
- 279