Apparently the definition of local compactness is not standard. Compactness is obviously a global property of a topological space, so it makes sense to define it locally. Second-countable spaces have countable bases (a global phenomenon), and first-countable spaces are the local version of that, where each point has a countable local base. Being connected is a global property, and being locally connected at a point means every neighborhood is a supserset of some connected set containing the point.

So surely there's no ambiguity as to what a locally compact space should be, right?

For a while I've been pondering what to make of this little microblog. I eventually started getting ideas on what to post and if I really wanted to make a very well-done dedicated blog post about it, it would take actual extra effort that I couldn't have time for, especially now that I'm almost graduating.

After lots of pondering, I am reminded that this diverges from what this was supposed to be. A simple microblog for me to share cool things. I'll get back to posting more often, maybe not every day, but I will make statements without proofs, or incomplete proofs. The main focus is always to express my thoughts on something.

I haven't been doing anything that's worth a blog post. I couldn't find a satisfying explanation as to why the coin flip sequence from a previous post corresponds to the Catalan number sequence, but I still plan to make that. After the wave equation, I'd like to make a blog post about how the heat equation is derived.

I've been recently trying out new topics. Steganography looks like a very fun one. I can certainly understand hiding an image within the 4 least-significant bits of each pixel, and I can sort of understand how hiding them in the DCT of a jpeg image works, but anything that's remotely more advanced looks like dark magic.

Similarly, I'd love to learn more about information theory and error correction. I can understand the simple version of parity bits and Reed-Solomon, but anything more advanced like elliptic curves is beyond me. Perhaps I should look for a good book.

I've always known the wave equation since even before taking a proper PDE lecture, from browsing the internet and watching videos, but I never saw how it came to be derived. Like, why does this describe a wave? $$\frac{\partial^2 u}{\partial t^2} = c^2 \frac{\partial^2 u}{\partial x^2}$$ I decided to read Stein and Shakarchi's book on Fourier Analysis (as it is part one of a tetralogy, and I feel like I really need more insight on this topic), and a nice derivation is found right in the beginning.

Alright, time to make a blog post and ignore the massive hiatus between this and the last post. I was watching a streamer making a coin toss bet, where they wanted heads to win. As soon as it was tails, he said "okay, best of 3". It went on heads, but then tails again, to which he continued "okay, best of 5". He then got heads twice, which means heads won the best of 5, and he was content.

My question was: If we kept going, potentially forever, is the chance of heads winning approaching 100%? How fast/slow is it approaching if so? I plan to answer these questions in this post.

Haven't been posting much because I kept myself busy doing a bunch of scattered projects and studying Japanese (now that I have some free time). Might as well leave here the resources I've used throughout my journey, as I never did and for the time being don't plan to enroll myself in any formal class (they cost a lot of money and learning Japanese is a hobby for me).

My interest in learning Japanese started many years ago, but I never managed to consistently study it for more than a month in a row, and the breaks would take many months, so while I probably started in 2018, if I only counted the days I effectively studied, it would probably be less than a year. It started mostly for my interest in anime, but it evolved into more than that (especially since I don't really watch anime nowadays), as I'm now much more passionate about linguistics and languages in general, and Japanese is a fascinating one to learn.

There are lots of equivalent statements to the axiom of choice, Zorn's lemma being a famous example. Another interesting one is the fact that every vector space has a basis. We can always find a set of vectors which are linearly independent and generate the entire space.

The proof that every vector space has a basis is simple enough if you already understand Zorn's lemma. You take all the sets which have linearly independent vectors, and the union of any chain of those sets will give a set of linearly independent vectors, so there must exist a maximal linearly independent set, which will be a basis.

Interestingly though, this is an equivalence, we can prove that if every vector space has a basis, then the axiom of choice holds. However, if you try to look for a proof anywhere on the internet, every single possible source will say "This was proven by Andreas Blass and you can see it in this pdf". He did this in 1984 and since then, not a single person bothered to make an alternate proof? Or rewrite it in a more digestible way?

Just learned something cool. If you take any spaces which are connected ($X$ and $Y$), their product is very easily proven to be connected. However, if we take any proper subsets $A \subseteq X$ and $B \subseteq Y$, then $$(X \times Y) \setminus (A \times B)$$ is also connected. It seemed like a very strong statement at first, but intuitively it makes sense, since this set above is like a "grid", cause if you draw any two proper subsets of $\R$ for example and imagine the set $\R^2 \setminus (A \times B)$, the result will be a grid in some way (unless they're empty). A fun example: $\Q$ and $\R \setminus \Q$ are totally disconnected, yet $\R^2 \setminus \Q^2$ is connected.

I've been casually thinking about that idea I had about making translations for math terms in toki pona from that other post, and I've been taking inspiration from Japanese, since their structure of combining kanji to make new words is basically the challenge I'd have to face.

After looking at some interesting ones (such as "differentiation" being 微分, literally "delicate + part", which is cute), I went on wiktionary to see some of the more mysterious ones, such as "dimension" being 次元 (lit. "next + origin"), and while I was expecting some sort of historical etymology combinations, all it said was "Appeared in (...) “Vocabulary of mathematical terms in English and Japanese” of 1889 as a translation of English dimension.".

This video is fantastic. If we open a wikipedia page and click on the first link (ignoring language or IPA links) over and over, we have a 97% chance to eventually reach Philosophy. Unfortunately, this kind of changed recently because 25% of pages will reach Awareness, and that used to lead to Philosophy, but it now leads to Psychology. But because we can go from Philosophy to Awareness, I guess that now means 97% of the time we'll reach Awareness?

Funnily enough, there's a heated discussion about this in wikipedia, which is in the realm of talks of wikipedia pages (I've never read these). This is all very fun (did I mention the video is fantastic?).