this post was submitted on 27 May 2024
981 points (100.0% liked)

196

16822 readers
770 users here now

Be sure to follow the rule before you head out.


Rule: You must post before you leave.



Other rules

Behavior rules:

Posting rules:

NSFW: NSFW content is permitted but it must be tagged and have content warnings. Anything that doesn't adhere to this will be removed. Content warnings should be added like: [penis], [explicit description of sex]. Non-sexualized breasts of any gender are not considered inappropriate and therefore do not need to be blurred/tagged.

If you have any questions, feel free to contact us on our matrix channel or email.

Other 196's:

founded 2 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] i_love_FFT@lemmy.ml 2 points 11 months ago (7 children)

The axiom of choice allows to duplicate a sphere...

I know mathematicians tend to approve of it, but the naturalist in me knows it's bullshit.

[–] kogasa@programming.dev 2 points 11 months ago* (last edited 11 months ago) (5 children)

By performing measure-preserving transformations to non-measurable sets and acting surprised when at the end of the day measure isn't preserved. I don't blame AC for that. AC only implies the existence of a non-measurable set, which is in itself not totally counter-intuitive.

[–] i_love_FFT@lemmy.ml 2 points 11 months ago (4 children)

Yeah, I'm really out of my element talking about these abstract mathematical topics... I'm too much of an empirical scientist it seems!

Give me a set and I'll find a way to measure it! ...actually I'd like to know what's the mathematical definition of measurement, there's probably a trick there... 🤔

[–] matiamas@lemmy.world 5 points 11 months ago

Measure theory gets pretty abstract, so I recommend using a source thats not me. For the Real Numbers, the standard measure (usually the Lebesgue measure) is a way to generalize notions of lengths of intervals to sets that are not intervals or easy unions of intervals. For any set E, we can find various sequences of open intervals (potentially infinitely many intervals) whose union will contain E. The Lebesgue outer measure of E is defined as the infimum of the sum of the lengths of those sequences of intervals (infimum is similar to minimum except that an infimum may not actually be attained). The set E is considered Lebesgue measurable if it satisfies am additional criterion (Caratheodory criterion) in which case the Lebesgue measure is equal to the Lebesgue outer measure. If E does not satisfy that criterion, then it is non-measurable. A measure has desirable certain properties that an outer measure does not satisfy, which is why we prefer the former. Apologies to all math people for any inaccuracies in the above description, it's been a while.

load more comments (3 replies)
load more comments (3 replies)
load more comments (4 replies)