Persona3Reload@lemmy.blahaj.zone to 196@lemmy.blahaj.zoneEnglish · 24 天前Rulelemmy.blahaj.zoneimagemessage-square28fedilinkarrow-up1217arrow-down112
arrow-up1205arrow-down1imageRulelemmy.blahaj.zonePersona3Reload@lemmy.blahaj.zone to 196@lemmy.blahaj.zoneEnglish · 24 天前message-square28fedilink
minus-squareLifeLemons@lemmy.mllinkfedilinkEnglisharrow-up7·24 天前I am waiting for someone to actually answer this
minus-squarewisha@lemmy.mllinkfedilinkarrow-up15·24 天前Yes. https://proofwiki.org/wiki/Definition:Supremum_Metric#Continuous_Real_Functions
minus-squareAlligatorBlizzard@sh.itjust.workslinkfedilinkarrow-up4·24 天前Thanks. I’ve mostly forgotten real analysis by this point but the meme seemed really familiar, lol.
minus-squareBjörn Tantau@swg-empire.delinkfedilinkarrow-up1·24 天前Oh, I expected it to be some unsolved problem.
minus-squarelad@programming.devlinkfedilinkEnglisharrow-up1·24 天前Thanks for the link. I expected there would be a problem with triangle inequality but didn’t want to do the actual proving 😅
I am waiting for someone to actually answer this
Yes. https://proofwiki.org/wiki/Definition:Supremum_Metric#Continuous_Real_Functions
Thanks. I’ve mostly forgotten real analysis by this point but the meme seemed really familiar, lol.
Oh, I expected it to be some unsolved problem.
Thanks for the link. I expected there would be a problem with triangle inequality but didn’t want to do the actual proving 😅