New York City Category Theory Seminar
Something Old, Something New, Something Borrowed, ...
F.E.J. Linton • Wesleyan Univ. Math/CS Emeritus
Distinct reals
x
,
y
in
X
ε
λ
must lie at least 2ε apart:
|
x
−
y
|
>
2ε.
For if instead
0 < |
x
−
y
| < 2ε ,
then
V
ε
(
x
) ∩
V
ε
(
y
) = {(½(
x
+
y
), ½|
x
−
y
|)} ≠ ∅,
while, up in the double cover, ...