Рет қаралды 32,044
List of corrections/clarifications (including "clopen", "topologist", and "measure") below
This is a summary of about a year or two of my own personal math research. It is not complete overview, nor does it constitute peer-reviewed research. I am a teacher by trade, not a professional mathematician. This is just a fun intro to my research to see if people are interested. I also do claim to have invented some of these ideas myself, but definitely don't claim that it hasn't been done before! There's a lot of research out there and I am not an "insider" to the fields I studied.
This video is based on my findings in this preprint paper: arxiv.org/abs/.... This is not published or peer-reviewed work.
You can support me by sending a Venmo tip to the handle @MathTrain. Please don't donate unless you are able.
Check the pinned comment for an ongoing list of minor mistakes people have caught!
By popular demand, I've made a discord server so we can discuss the results of this video. If you're interested in discussion about the results and trying to further this research, join in! / discord
Thanks to the Summer of Math Exposition 2 #SoME2 for being the impetus for me making this passion project!
Correction list:
1. Whenever I say "clopen", I'm not referring to a set that is both closed and open (which is the correct use). I'm referring to half-open intervals, and I'm misusing terminology here. My mistake!
2. It's debatable what a topologist would actually say here, and it's not as cut-and-dry as I make it out to be in the video. Many have pointed out that topologists might say B is larger because it is open, while A is compact. Valid point, but dividing math up into subcategories isn't really the point of the video, so I chose to hand-wave this one and say "topology" since it's a broad topic in which every point matters.
3. The width of the interval at 5:30 should be 12, not 8. But this doesn't change the end result.
4. Technically, when I say "measure" I mean "polynomial-valued measure". An actual measure has codomain R, while I use codomain R[omega]. Also an actual measure is defined on a sigma-algebra, while this is only on a non-sigma algebra of sets. But that would've been a bit esoteric to include in this introduction. The actual algebra on which mu works is the algebra of definable sets in an o-minimal structure.