diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-09-15 15:07:36 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-09-15 15:07:36 +0200 |
| commit | b298295ac002785672a8b16dd09f9692d73f7a80 (patch) | |
| tree | 9c03dde2cec2bca83927175819534cf53a7bd7c8 /library/topology/metric-space.tex | |
| parent | 12f360a500d5edddf83afa121a5a08b6a6408815 (diff) | |
Issue at Fixing.
In Line 49 in real-topological-space.tex the Fix can't be processed.
Diffstat (limited to 'library/topology/metric-space.tex')
| -rw-r--r-- | library/topology/metric-space.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/library/topology/metric-space.tex b/library/topology/metric-space.tex index bcc5b8c..0ed7bab 100644 --- a/library/topology/metric-space.tex +++ b/library/topology/metric-space.tex @@ -7,7 +7,7 @@ \section{Metric Spaces} \begin{definition}\label{metric} - $f$ is a metric on $M$ iff $f$ is a function from $M \times M$ to $\reals$ and + $f$ is a metric on $M$ iff $f$ is a function from $M \times M$ to $\reaaals$ and for all $x,y,z \in M$ we have $f(x,x) = \zero$ and $f(x,y) = f(y,x)$ and |