PlexSheep
/
math-multiana
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix bad shit

This commit is contained in:
Christoph J. Scherr 2024-09-23 20:19:51 +02:00
parent 36cc8ebd4e
commit 555b9a0fcd
2 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
build/main.pdf
View File

Binary file not shown.

12
src/exercise/3.typ
View File

@ -17,7 +17,17 @@ $
#text("z.z.") &|d(x_1,x_2) - d(x_2,x_3)| <= d(x_1,x_3) \ #text("z.z.") &|d(x_1,x_2) - d(x_2,x_3)| <= d(x_1,x_3) \
d(x_1,x_3) <= &|d(x_1,x_2) + d(x_2,x_3)| \ d(x_1,x_3) <= &|d(x_1,x_2) + d(x_2,x_3)| \
<=> 0 <= &|d(x_1,x_2) + d(x_2,x_3)| - d(x_1,x_3) \ <=> 0 <= &|d(x_1,x_2) + d(x_2,x_3)| - d(x_1,x_3) \
?????????????????&??????????????? "Metrik Axiome:"\
upright(I): d(x,y) &= <=> x=y \
"II": d(x,y) &= d(y,x) \
"III": d(x,y) &<= d(x,z) + d(z,y) \
\
&|d(x_1,x_2) - d(x_2,x_3)| <= d(x_1,x_3) \
<=> &|d(x_1,x_2) - d(x_2,x_3)| <= d(x_1,x_3) + d(x_2,x_3) - d(x_2,x_3) \
<=> &|d(x_1,x_2) - d(x_2,x_3)| <= d(x_1,x_3) + d(x_3,x_2) - d(x_2,x_3) \
&"Magic removes the betragsstrich" \
<=> &d(x_1,x_2) - d(x_2,x_3) <= d(x_1,x_3) + d(x_3,x_2) - d(x_2,x_3) \
<=> &d(x_1,x_2) <= d(x_1,x_3) + d(x_3,x_2) <=> "Axiom III" qed \
$ $
#pagebreak() #pagebreak()