For more of these summaries, you can search this blog for “Latest posts on my Blogger blog”, or click this search link
Here are some links to my most recent posts on my Blogger blog, where I am able to use MathJax.
Currently I mostly write posts on my Blogger blog, and then link to them from this WordPress blog.
I’ll periodically post updates on this blog, with links and brief descriptions.
The latest series of posts is about the Cauchy-Schwarz inequality. Before that there was a post about measures, outer measures and measurable sets which I hope to follow up on once I have caught up on some urgent tasks.
I’ve recently finished teaching 5 weeks of Analysis as part of our new first-year Core Mathematics module. I’ve made some additional resources available to them on a Moodle page. I expect to add further resources in due course! But here is the current version of that page.
Discussion of the fact that a metric space X is totally bounded if and only if every sequence in X has a Cauchy subsequence. Also some initial discussion of uniformly separated sequences.
Discussion of the fact that a sequence in a metric space has a Cauchy subsequence if and only if it has a subsequence which has no uniformly separated subsequence. Thus a sequence in a metric space has no Cauchy subsequence if and only if every subsequence has a uniformly separated subsequence.
Some musings on the special case of countably infinite metric spaces. Not particularly conclusive! But there are various reformulations of the results above, and a note that imposing a well-order enables us to do without the usual sequence of choices. Also some discussion of uniformly separated subsets.
One of our first-year students asked (on Piazza) whether converse and negation were the same thing. One of my colleagues explained the differences in terms of propositional logic. I added some comments afterward to see if some specific examples might help. I don’t know whether this helped or not! See below for what I said.
My recent series of posts about Fatou’s Lemma for sums was aimed primarily at mathematics students at 3rd-year undergraduate level or above. So I think I should write a post more suitable for first-year undergraduate students. So I’m going to have another look at the topic of and for bounded sequences of real numbers (though most of what I say can be generalised to sequences, or even nets, of extended real numbers).
I am curious to see how a bit of maths looks like in the new email template. So I should write something. (I’m subscribed to my own blog so I’ll see what the email looks like!)
I have a draft somewhere of something I was going to write about characteristic functions, counting and the inclusion/exclusion principle. Ah I see I already published Part 1 at
But I hadn’t had time to add the follow-up yet. So here is a sneak preview!
Another observation which can be helpful is the following. Suppose that and are elements of . Then , and this will be even even if and only if it is zero, i.e., if and only if . In terms of modular arithmetic, working modulo , for and in , we have
Here the forward implication is trivial, but the backward implication uses the restriction on and .
Since characteristic functions only take the values or , we have the following extension of the above. Let and be subsets of . Then (I must find a better way to write multiline LaTeX with alignment in WordPress! Perhaps they allow this by now and I just haven’t noticed?)
for all , we have
for all , we have
Here it is convenient to bring in some new terminology to save some writing.
Let and be integer-valued functions defined on $X$. We say that is congruent to modulo , and write if (and only if), for all , we have
Because it can be hard for people in China to access YouTube, many University of Nottingham videos are also available through MediaSpace. (See https://mediaspace.nottingham.ac.uk/)
For example, most of my old Measure Theory videos are available there (12 out of 15 so far. I’m still correcting captions for the last few!)
After a long break, I have returned to correcting the subtitles/captions for some of my older videos!
I think that there is a convention that captions are for the same language, and subtitles are for a different language. (If that’s right then the people who published lots of my videos in China have provided English captions and Chinese subtitles.)
I started with making minor corrections to the captions for the Virtually Nottingham edition of Beyond Infinity (the most recent edition of my talk about Hilbert’s Hotel, with quite a long Q&A session afterwards). It looks like my corrections have been incorporated already, but I don’t yet know whether this was automatic or else very efficient work by a colleague!
Now I’m back to my old Measure Theory videos. You may remember that (perhaps due to a combination of me speaking too fast, and questionable audio quality) there were a lot of very funny errors in the automatically generated captions. I know that I went over the top with that list! But let me reveal some of the answers. (I’ll add some more later when I can remember the answers myself!)
Autogenerated captions
What I think I really said (or tried to say)
… et cerebral llamas
… extended real numbers
… topology or eggs
… topology on X
… bomb umbrella sets
… non-Borel sets
Of course, I keep finding more, but I’ll resist posting most of them (unless more are requested).
Still, I just can’t resist telling you that “the Bogan’s robots” are supposed to be de Morgan’s laws!
I’ll let you know when the new versions of the Measure Theory videos with captions are released on YouTube.
If you saw my last post here you will know that I recently took advantage of editing our UoN maths newsletter to write an article about Alice Roth and Swiss cheeses.