🇦🇺𝕄𝕦𝕟𝕥𝕖𝕕𝕔𝕣𝕠𝕔𝕕𝕚𝕝𝕖@lemm.ee to Science Memes@mander.xyzEnglish · 20 days agoFuck geometrylemm.eeexternal-linkmessage-square58fedilinkarrow-up1340arrow-down114
arrow-up1326arrow-down1external-linkFuck geometrylemm.ee🇦🇺𝕄𝕦𝕟𝕥𝕖𝕕𝕔𝕣𝕠𝕔𝕕𝕚𝕝𝕖@lemm.ee to Science Memes@mander.xyzEnglish · 20 days agomessage-square58fedilink
minus-squaretechnocrit@lemmy.dbzer0.comlinkfedilinkEnglisharrow-up1arrow-down1·19 days agoThis is true for real-valued metrics but not complex-valued metrics. https://en.wikipedia.org/wiki/Complex_measure
minus-squareKogasa@programming.devlinkfedilinkEnglisharrow-up2·19 days agoMetric, not measure. Metrics are real by definition.
This is true for real-valued metrics but not complex-valued metrics.
https://en.wikipedia.org/wiki/Complex_measure
Metric, not measure. Metrics are real by definition.