allen on nostr

Open in Damus

Another thought-provoking math post 🙌 I suppose the usual epsilon delta formulation holds... What are the ways in which it fails?!

allen @allen 1769248302

heine borel and anything relying on compactness fails.

weirdest/coolest result is IVT fails too, which is bizarre because on R continuity is strictly stronger than IVP, but in dense-but-not-complete R that flips.

2❤️1🧠1

speaking of which, nostr:nprofile1qqsw79gu0guq7s98t473fyavx3akwaafmx6l5z4rehd50lrcl2mf4zcpzemhxue69uhhyetvv9ujuurjd9kkzmpwdejhgqgcwaehxw309aex2mrp0yhxvun9v4cxcctrv5hxumq4l8tea, do you even believe the reals exist?

Funny, I went to bed last night wondering about IVT, as it was about the only result on continuous functions I could come up with. Will have to ponder it more to see why that may be though. Heine Borel isn't a statement about _functions_ though, unless I'm mistaken, so hadn't considered it in this c...