*that which is learned*

# Math3ma

# A First Look at Quantum Probability, Part 2

Welcome back to our mini-series on quantum probability! Last time, we motivated the series by pondering over a thought from classical probability theory, namely that *marginal probability doesn't have memory*. That is, the process of summing over of a variable in a joint probability distribution causes information about that variable to be lost. But as we saw then, there is a *quantum* version of marginal probability that behaves much like "marginal probability with memory." It remembers what's destroyed when computing marginals in the usual way. In today's post, I'll unveil the details. Along the way, we'll take an introductory look at the mathematics of quantum probability theory.

Let's begin with a brief recap of the ideas covered in Part 1: We began with a joint probability distribution on a product of finite sets $p\colon X\times Y\to [0,1]$ and realized it as a matrix $M$ by setting $M_{ij} = \sqrt{p(x_i),p(y_j)}$. We called elements of our set $X=\{0,1\}$ **prefixes **and the elements of our set $Y=\{00,11,01,10\}$ **suffixes** so that $X\times Y$ is the set of all bitstrings of length 3.

We then observed that the matrix $M^\top M$ contains the marginal probability distribution of $Y$ along its diagonal. Moreover its *eigenvectors* define conditional probability distributions on $Y$. Likewise, $MM^\top$ contains marginals on $X$ along its diagonal, and its eigenvectors define conditional probability distributions on $X$.

The information in the eigenvectors of $M^\top M$ and $MM^\top$ is precisely the information that's destroyed when computing marginal probability in the usual way. The big reveal last time was that **the matrices $M^\top M$ and $MM^\top$ are the quantum versions of marginal probability distributions.**

As we'll see today, the quantum version of a probability distribution is something called a *density operator*. The quantum version of marginalizing corresponds to "reducing" that operator to a subsystem. This reduction is a construction in linear algebra called the partial trace. I'll start off by explaining the partial trace. Then I'll introduce the basics of quantum probability theory. At the end, we'll tie it all back to our bitstring example.

# A First Look at Quantum Probability, Part 1

In this article and the next, I'd like to share some ideas from the world of quantum probability.* The word "quantum" is pretty loaded, but don't let that scare you. We'll take a *first*—not second or third—look at the subject, and the only prerequisites will be linear algebra and basic probability. In fact, I like to think of quantum probability as another name for "linear algebra + probability," so this mini-series will explore the mathematics, rather than the physics, of the subject.**

In today's post, we'll motivate the discussion by saying a few words about (classical) probability. In particular, let's spend a few moments thinking about the following: ****

What do I mean? We'll start with some basic definitions. Then I'll share an example that illustrates this idea.

A **probability distribution **(or simply,** distribution**) on a finite set $X$ is a function $p \colon X\to [0,1]$ satisfying $\sum_x p(x) = 1$. I'll use the term **joint probability distribution **to refer to a distribution on a Cartesian product of finite sets, i.e. a function $p\colon X\times Y\to [0,1]$ satisfying $\sum_{(x,y)}p(x,y)=1$. Every joint distribution defines a **marginal probability distribution **on one of the sets by summing probabilities over the other set. For instance, the marginal distribution $p_X\colon X\to [0,1]$ on $X$ is defined by $p_X(x)=\sum_yp(x,y)$, in which the variable $y$ is summed, or "integrated," out. It's this very process of *summing *or* integrating out *that causes information to be lost. In other words, marginalizing loses information. It doesn't remember what was summed away!

I'll illustrate this with a simple example. To do so, I need to give you some finite sets $X$ and $Y$ and a probability distribution on them.

# Matrices as Tensor Network Diagrams

In the previous post, I described a simple way to think about matrices, namely as bipartite graphs. Today I'd like to share a different way to picture matrices—one which is used not only in mathematics, but also in physics and machine learning. Here's the basic idea. An $m\times n$ matrix $M$ with real entries represents a linear map from $\mathbb{R}^n\to\mathbb{R}^m$. Such a mapping can be pictured as a node with two edges. One edge represents the input space, the other edge represents the output space.

That's it!

We can accomplish much with this simple idea. But first, a few words about the picture: To specify an $m\times n$ matrix $M$, one must specify all $mn$ entries $M_{ij}$. The index $i$ ranges from 1 to $m$—the dimension of the output space—and the index $j$ ranges from 1 to $n$—the dimension of the input space. Said differently, $i$ indexes the number of rows of $M$ and $j$ indexes the number of its columns. These indices can be included in the picture, if we like:

This idea generalizes very easily. A matrix is a two-dimensional array of numbers, while an $n$-dimensional array of numbers is called a **tensor of order $n$** or an $n$**-tensor**. Like a matrix, an $n$-tensor can be represented by a node with one edge for each dimension.

A number, for example, can be thought of as a zero-dimensional array, i.e. a point. It is thus a 0-tensor, which can be drawn as a node with *zero* edges. Likewise, a vector can be thought of as a *one*-dimensional array of numbers and hence a 1-tensor. It's represented by a node with *one *edge. A matrix is a *two*-dimensional array and hence 2-tensor. It's represented by a node with *two* edges. A 3-tensor is a *three*-dimensional array and hence a node with *three* edges, and so on.

# Viewing Matrices & Probability as Graphs

Today I'd like to share an idea. It's a very simple idea. It's not fancy and it's certainly not new. In fact, I'm sure many of you have thought about it already. But if you haven't—and even if you have!—I hope you'll take a few minutes to enjoy it with me. Here's the idea:

So simple! But we can get a lot of mileage out of it.

To start, I'll be a little more precise: every matrix corresponds to a weighted bipartite graph. By "graph" I mean a collection of vertices (dots) and edges; by "bipartite" I mean that the dots come in two different types/colors; by "weighted" I mean each edge is labeled with a number.

# Limits and Colimits Part 3 (Examples)

Once upon a time, we embarked on a mini-series about limits and colimits in category theory. Part 1 was a non-technical introduction that highlighted two ways mathematicians often make new mathematical objects from existing ones: by taking a subcollection of things, or by gluing things together. The first route leads to a construction called a *limit, *the second to a construction called a *colimit*.

The formal definitions of limits and colimits were given in Part 2. There we noted that one speaks of "the (co)limit of [something]." As we've seen previously, that "something" is a *diagram—*a functor from an indexing category to your category of interest. Moreover, the shape of that indexing category determines the name of the (co)limit: product, coproduct, pullback, pushout, etc.

In today's post, I'd like to solidify these ideas by sharing some examples of limits. Next time we'll look at examples of colimits. What's nice is that *all* of these examples are likely familiar to you—you've seen (co)limits many times before, perhaps without knowing it! The newness is in viewing them through a categorical lens.

# crumbs!

Recently I've been working on a dissertation proposal, which is sort of like a culmination of five years of graduate school (yay). The first draft was rough, but I sent it to my advisor anyway. A few days later I walked into his office, smiled, and said hello. He responded with a look of regret.

**Advisor**: I've been... remiss about your proposal.

[*Remiss?* Oh no. I can't remember what the word means, but it sounds really bad. The solemn tone must be a context clue. My heart sinks. I feel so embarrassed, so mortified. *He's been remiss at me for days! Probably years!* I think back to all the times I should've worked harder, all the exercises I never did. I knew This Day Would Come. I fight back the lump in my throat.]

**Me: **Oh no... oh no. I'm sorry. I shouldn't have sent it. It wasn't ready. Oh no....

**Advisor**: What?

**Me: **Hold on. What does remiss mean?

**Advisor** [confused, Googles *remiss*]: I think I just mean I haven't read your proposal.

# Announcing Applied Category Theory 2019

Hi everyone. Here's a quick announcement: the Applied Category Theory 2019 school is **now accepting applications**! As you may know, I participated in ACT2018, had a great time, and later wrote a mini-book based on it. This year, it's happening again with new math and new people! As before, it consists of a five-month long, online school that culminates in a week long conference (July 15-19) and a week long research workshop (July 22-26, described below). Last year we met at the Lorentz Center in the Netherlands; this year it'll be at Oxford.

Daniel Cicala and Jules Hedges are organizing the ACT2019 school, and they've spelled out all the details in the official announcement, which I've copied-and-pasted it below. Read on for more! And please feel free to spread the word. Do it quickly, though. *The deadline is soon!*

**APPLICATION DEADLINE: JANUARY 30, 2019**

# The Tensor Product, Demystified

Previously on the blog, we've discussed a recurring theme throughout mathematics: making new things from old things. Mathematicians do this all the time:

- When you have two integers, you can find their greatest common divisor or least common multiple.
- When you have some sets, you can form their Cartesian product or their union.
- When you have two groups, you can construct their direct sum or their free product.
- When you have a topological space, you can look for a subspace or a quotient space.
- When you have some vector spaces, you can ask for their direct sum or their intersection.
- The list goes on!

Today, I'd like to focus on a particular way to build a new vector space from old vector spaces: *the tensor product*. This construction often come across as scary and mysterious, but I hope to shine a little light and dispel a little fear. In particular, we won't talk about axioms, universal properties, or commuting diagrams. Instead, we'll take an elementary, concrete look:

Given two vectors $\mathbf{v}$ and $\mathbf{w}$, we can build a new vector, called the *tensor product* $\mathbf{v}\otimes \mathbf{w}$. But what is that vector, *really*? Likewise, given two vector spaces $V$ and $W$, we can build a new vector space, also called their *tensor product* $V\otimes W$. But what is that vector space, *really*?

# Learning How to Learn Math

Once upon a time, while in college, I decided to take my first intro-to-proofs class. I was so excited. "This is it!" I thought, "now I get to learn how to think like a mathematician."

You see, for the longest time, my mathematical upbringing was very... not mathematical. As a student in high school and well into college, I was very good at being a robot. Memorize this formula? No problem. Plug in these numbers? You got it. Think critically and deeply about the ideas being conveyed by the mathematics? Nope.

It wasn't because I didn't *want* to think deeply. I just wasn't aware there was anything to think *about*. I thought math was the art of symbol-manipulation and speedy arithmetic computations. I'm not good at either of those things, and I never understood why people did them anyway. But I was excellent at following directions. So when teachers would say "Do this computation," I would do it, and I would do it well. I just didn't know *what* I was doing.

By the time I signed up for that intro-to-proofs class, though, I was fully aware of the robot-symptoms and their harmful side effects.

# Notes on Applied Category Theory

Have you heard the buzz? *Applied category theory* is gaining ground! But, you ask, what *is* applied category theory? Upon first seeing those words, I suspect many folks might think either one of two thoughts:

*Applied category theory? Isn't that an oxymoron?**Applied category theory? What's the hoopla? Hasn't category theory always been applied?*

For those thinking thought #1, I'd like to convince you the answer is *No way!* It's true that category theory sometimes goes by the name of *general abstract nonsense*, which might incline you to think that category theory is too pie-in-the-sky to have any impact on the "real world." My hope is to convince you that that's *far* from the truth.

For those thinking thought #2, *yes*, it's true that ideas and results from category theory have found applications in computer science and quantum physics (not to mention pure mathematics itself), but these are not the only applications to which the word *applied *in *applied category theory* is being applied.

So what *is* applied category theory?

# Is the Square a Secure Polygon?

In this week's episode of PBS Infinite Series, I shared the following puzzle:

*Consider a square in the xy-plane, and let A (an "assassin") and T (a "target") be two arbitrary-but-fixed points within the square. **Suppose that the square behaves like a billiard table, so that any ray (a.k.a "shot") from the assassin will bounce off the sides of the square, with the angle of incidence equaling the angle of reflection. Puzzle: Is it possible to block any possible shot from A to T by placing a finite number of points in the square?*

# crumbs!

One day while doing a computation on the board in front of my students, I accidentally wrote 1 + 1 = 1. (No idea why.)

**Student**: Um, don't you mean 1 + 1 = 2?

**Me** (embarrassed): Oh right, thanks.

*[Erases mistake. Pauses.]*

Wait. Is there a universe in which 1 + 1 = 1?

# Limits and Colimits, Part 2 (Definitions)

Welcome back to our mini-series on categorical limits and colimits! In Part 1 we gave an intuitive answer to the question, "What *are* limits and colimits?" As we saw then, there are *two* main ways that mathematicians construct *new* objects from a collection of given objects: 1) take a "sub-collection," contingent on some condition or 2) "glue" things together. The first construction is usually a limit, the second is usually a colimit. Of course, this might've left the reader wondering, "Okay... but what are we taking the (co)limit *of* ?" The answer? A *diagram*. And as we saw a couple of weeks ago, a diagram is really a functor.

# Brouwer's Fixed Point Theorem (Proof)

Today I'd like to talk about Brouwer's Fixed Point Theorem. *Literally!* It's the subject of this week's episode on PBS Infinite Series. Brouwer's Fixed Point Theorem is a result from topology that says no matter how you stretch, twist, morph, or deform a disc (so long as you don't tear it), there's always one point that ends up in its original location.

# A Diagram is a Functor

Last week was the start of a mini-series on limits and colimits in category theory. We began by answering a few basic questions, including, "What *ARE* (co)limits?" In short, they are a way to construct new mathematical objects from old ones. For more on this non-technical answer, be sure to check out Limits and Colimits, Part 1. Towards the end of that post, I mentioned that (co)limits aren't really related to limits of sequences in topology and analysis (but see here). There is however one similarity. In analysis, we ask for the limit *of* a sequence. In category theory, we also ask for the (co)limit *OF* something. But if that "something" is not a sequence, then what is it?

Answer: a diagram.

# Limits and Colimits, Part 1 (Introduction)

I'd like to embark on yet another mini-series here on the blog. The topic this time? Limits and colimits in category theory! But even if you're not familiar with category theory, I do hope you'll keep reading. Today's post is just an informal, non-technical introduction. And regardless of your categorical background, you've *certainly* come across many examples of limits and colimits, perhaps without knowing it! They appear everywhere--in topology, set theory, group theory, ring theory, linear algebra, differential geometry, number theory, algebraic geometry. The list goes on. But before diving in, I'd like to start off by answering a few basic questions.

# Topology vs. "A Topology" (cont.)

This blog post is a continuation of today's episode on PBS Infinite Series, "Topology vs. 'a' Topology." My hope is that this episode and post will be helpful to anyone who's heard of topology and thought, "Hey! This sounds cool!" then picked up a book (or asked Google) to learn more, only to find those formidable three axioms of 'a topology' that, admittedly *do not *sound cool. But it turns out those axioms are what's "under the hood" of the whole topological business! So without further ado, let's pick up where we left off in the video.

# Multiplying Non-Numbers

In last last week's episode of PBS Infinite Series, we talked about different flavors of multiplication (like associativity and commutativity) to think about when multiplying things that *aren't *numbers. My examples of multiplying non-numbers were vectors and matrices, which come from the land of algebra. Today I'd like to highlight another example: **We can multiply shapes!**

# Math3ma + PBS Infinite Series!

Hi everyone! Here's a bit of exciting news: As of today, I'll be extending my mathematical voice from the *blogosphere* to the *videosphere*! In addition to Math3ma, you can now find me over at PBS Infinite Series, a YouTube channel dedicated to the wonderful world of mathematics.

# What is an Operad? Part 2

Last week we introduced the definition of an **operad**: it's a sequence of sets or vector spaces or topological spaces or most anything you like (whose elements we think of as abstract operations), together with composition maps and a way to permute the inputs using symmetric groups. We also defined an **algebra over an operad**, which a way to realize each abstract operation as an *actual *operation. Now it's time for some examples!

# What is an Operad? Part 1

If you browse through the research of your local algebraist, homotopy theorist, algebraic topologist or―well, anyone whose research involves an *operation* of some type, you might come across the word "operad." But what are *operads*? And what are they good for? Loosely speaking, operads―which come in a *wide* variety of types―keep track of various "flavors" of operations.

# The Yoneda Lemma

Welcome to our third and final installment on the Yoneda lemma! In the past couple of weeks, we've slowly unraveled the mathematics behind the Yoneda perspective, i.e. the categorical maxim that an object is completely determined by its relationships to other objects. Last week we divided this maxim into two points...

# The Yoneda Embedding

Last week we began a discussion about the Yoneda lemma. Though rather than stating the lemma (sans motivation)*, *we took a leisurely stroll through an implication of its corollaries - the *Yoneda perspective, *as we called it*:*

**An object is completely determined by its relationships to other objects,**

i.e.

**by what the object "looks like" from the vantage point of each object in the category.**

But this left us wondering, *What are the mathematics** behind this idea?* *And w**hat are the actual corollaries?* In this post, we'll work to discover the answers.

# The Yoneda Perspective

In the words of Dan Piponi, it "is the hardest trivial thing in mathematics." The nLab catalogues it as "elementary but deep and central," while Emily Riehl nominates it as "arguably the most important result in category theory." Yet as Tom Leinster has pointed out, "many people find it quite bewildering."

And *what* are they referring to?

**The Yoneda lemma.**

"But," you ask, "what is the Yoneda lemma? And if it's just a *lemma* then - my gosh - what's the *theorem*?"

# Dear Autocorrect... (Sincerely, Mathematician)

Dear Autocorrect,

No.

"Topos theory" is not the theory of tops. Or coats or shoes or hats or socks or gloves or slacks or scarves or shorts or skorts or--um, actually, what *is* topos theory?

“Zorn’s lemma” is not a result attributed to corn. Neither boiled corn, grilled corn, frozen corn, fresh corn, canned corn, popped corn, nor unicorns. Though I'm sure one of these is equivalent to the Axiom of Choice.

# Naming Functors

Mathematicians are a creative bunch, especially when it comes to naming things. And category theorists are no exception. So here's a little spin on this xkcd comic. It's inspired by a recent conversation I had on Twitter and, well, every category theory book ever.

# Commutative Diagrams Explained

Have you ever come across the words "commutative diagram" before? Perhaps you've read or heard someone utter a sentence that went something like, "For every [bla bla] there existsa [yadda yadda] such that**the following diagram commutes." **and perhaps it left you wondering what it all meant.

# crumbs!

Not too long ago, my college-algebra students and I were chatting about graphing polynomials. At one point during our lesson, I quickly drew a smooth, wavy curve on the board and asked,

"How many roots would a polynomial with this graph have? Five? It crosses the x-axis five times."

# Some Notes on Taking Notes

A quick browse through my Instagram account and you might guess that I take notes. Lots of notes. And you'd be spot on! For this reason, I suppose, I am often asked the question, "How do you do it?!" Now while I don't think my note-taking strategy is particularly special, I am happy to share! I'll preface the information by stating what you probably already know: *I LOVE to write.** I am a very visual learner and often need to go through the *physical act *of writing things down in order for information to "stick." So while some people think aloud (or quietly),

*I think on paper.*

# "One-Line" Proof: Fundamental Group of the Circle

Once upon a time I wrote a six-part blog series on why the fundamental group of the circle is isomorphic to the integers. (You can read it here, though you may want to grab a cup of coffee first.) Last week, I shared a proof* of the same result. In one line*. On Twitter. *I also included a fewer-than-140-characters explanation. But the ideas are so cool that I'd like to elaborate a little more.

# crumbs!

One of my students recently said to me, "I'm not good at math because I'm really slow." Right then and there, she had voiced what is one of many misconceptions that folks have about math.

But friends, speed has *nothing* to do with one's ability to do mathematics. In particular, being "slow" does not mean you do not have the ability to think about, understand, or enjoy the ideas of math.

Let me tell you....

# crumbs!

Physicist Freeman Dyson once observed that there are two types of mathematicians: birds -- those who fly high, enjoy the big picture, and look for unifying concepts -- and frogs -- those who dwell on the ground, find beauty in the scenery close by, and enjoy the details.

Of course, both vantage points are essential to mathematical progress, and I often tend to think of myself as more of a bird.(I'm, uh, bird-brained?)

# Group Elements, Categorically

On Monday we concluded our mini-series on basic category theory with a discussion on natural transformations and functors. This led us to make the simple observation that the elements of any set are really just functions from the single-point set {✳︎} to that set. But what if we replace "set" by "group"? Can we view group elements categorically as well? The answer to that question is the topic for today's post, written by guest-author Arthur Parzygnat.

# What is a Natural Transformation? Definition and Examples, Part 2

Continuing our list of examples of natural transformations, here is Example #2 (double dual space of a vector space) and Example #3 (representability and Yoneda's lemma).

# What is a Natural Transformation? Definition and Examples

I hope you have enjoyed our little series on basic category theory. (I know I have!) This week we'll close out by chatting about natural transformations which are, in short, a nice way of moving from one functor to another. If you're new to this mini-series, be sure to check out the very first post, *What is Category Theory Anyway?* as well as *What is a Category?* and last week's *What is a Functor?*

# crumbs!

I was at the grocery store earlier today, minding my own business, and while I was intently studying the lentil beans (Why are there so many options?) a man came down the aisle, pushing a cart with him. He then stopped in front of me, turned, looked me *directly* in the eyes and said,

# What is a Functor? Definitions and Examples, Part 2

Continuing yesterday's list of examples of functors, here is Example #3 (the chain rule from multivariable calculus), Example #4 (contravariant functors), and Example #5 (representable functors).

# What is a Functor? Definition and Examples, Part 1

Next up in our mini series on basic category theory: functors! We began this series by asking *What is category theory, anyway?* and last week walked through the precise definition of a category along with some examples. As we saw in example #3 in that post, a functor can be viewed an arrow/morphism between two categories.

# Introducing... crumbs!

Hello friends! I've decided to launch a new series on the blog called crumbs! Every now and then, I'd like to share little stories -- crumbs, if you will -- from behind the scenes of Math3ma. To start us off, I posted (a slightly modified version of) the story below on January 23 on Facebook/Twitter/Instagram, so you may have seen this one already. Even so, I thought it'd be a good fit for the blog as well. I have a few more of these quick, soft-topic blurbs that I plan to share throughout the year. So stay tuned! I do hope you'll enjoy this newest addition to Math3ma.

# What is a Category? Definition and Examples

As promised, here is the first in our triad of posts on basic category theory definitions: categories, functors, and natural transformations. If you're just now tuning in and are wondering *what is category theory, anyway? *be sure to* *follow the link to find out!

A category $\mathsf{C}$ consists of some data that satisfy certain properties...

# What is Category Theory Anyway?

A quick browse through my Twitter or Instagram accounts, and you might guess that I've had category theory on my mind. You'd be right, too! So I have a few category-theory themed posts lined up for this semester, and to start off, I'd like to (attempt to) answer the question, *What is category theory, **anyway*? for anyone who may not be familiar with the subject.

Now rather than give you a list of definitions--which are easy enough to find and may feel a bit unmotivated at first--I thought it would be nice to tell you what category theory is *in the grand scheme of (mathematical) things. *You see, it's very different than other branches of math....

# #TrustYourStruggle

If you've been following this blog for a while, you'll know that I have strong opinions about the misconception that "math is only for the gifted." I've written about the importance of endurance and hard work several times. Naturally, these convictions carried over into my own classroom this past semester as I taught a group of college algebra students.

Whether they raised their hand during a lecture and gave a "wrong" answer, received a less-than-perfect score on an exam or quiz, or felt completely confused during a lesson, I tried to emphasize that things aren't always as bad as they seem...

# A Quotient of the General Linear Group, Intuitively

Over the past few weeks, we've been chatting about quotient groups in hopes of answering the question, "What's a quotient group, really?" In short, we noted that the quotient of a group $G$ by a normal subgroup $N$ is a means of organizing the group elements according to how they fail---or don't fail---to satisfy the property required to belong to $N$. The key point was that there's only one way to *belong to* $N$, but generally there may be several ways to *fail* to belong.

# A Group and Its Center, Intuitively

Last week we took an intuitive peek into the First Isomorphism Theorem as one example in our ongoing discussion on quotient groups. Today we'll explore another quotient that you've likely come across, namely that of a group by its center.

# The First Isomorphism Theorem, Intuitively

Welcome back to our little discussion on quotient groups! (If you're just now tuning in, be sure to check out "What's a Quotient Group, Really?" Part 1 and Part 2!) We're wrapping up this mini series by looking at a few examples. I'd like to take my time emphasizing intuition, so I've decided to give each example its own post. Today we'll take an intuitive look at the quotient given in the First Isomorphism Theorem.

# What's a Quotient Group, Really? Part 2

Today we're resuming our informal chat on quotient groups. Previously we said that belonging to a (normal, say) subgroup $N$ of a group $G$ just means you satisfy some property. For example, $5\mathbb{Z}\subset\mathbb{Z}$ means "You belong to $5\mathbb{Z}$ if and only if you're divisible by 5". And the process of "taking the quotient" is the simple observation that every element in $G$ either

#1) belongs to *N *or #2) doesn't belong to *N*

and noting that...

# What's a Quotient Group, Really? Part 1

I realize that most of my posts for the past, er, *few* *months* have been about some pretty hefty duty topics. Today, I'd like to dial it back a bit and chat about some basic group theory! So let me ask you a question: When you hear the words "quotient group," what do you think of? In case you'd like a little refresher, here's the definition...

# The Sierpinski Space and Its Special Property

Last time we chatted about a pervasive theme in mathematics, namely that *objects are determined by their relationships with other objects, *or more informally, you can learn a lot about an object by studying its interactions with other things. Today I'd to give an explicit illustration of this theme in the case when "objects" = topological spaces and "relationships with other objects" = continuous functions. The goal of this post, then, is to convince you that *the topology on a space is completely determined by the set of all continuous functions to it.*

# The Most Obvious Secret in Mathematics

Yes, I agree. The title for this post is a little pretentious.** **It's certainly possible that there are *other* mathematical secrets that are *more* obvious than this one, but hey, I got your attention, right? *Good*. Because I'd like to tell you about an overarching theme in mathematics - a mathematical mantra, if you will. A technique that mathematicians use *all the time* to, well, do math.

# Comparing Topologies

It's possible that a set $X$ can be endowed with two or more topologies that are comparable. Over the years, mathematicians have used various words to describe the comparison: a topology $\tau_1$ is said to be **coarser** than another topology $\tau_2$, and we write $\tau_1\subseteq\tau_2$, if every open set in $\tau_1$ is *also* an open set in $\tau_2$. In this scenario, we also say $\tau_2$ is **finer** than $\tau_1$. But other folks like to replace "coarser" by "smaller" and "finer" by "larger." Still others prefer to use "weaker" and "stronger." But how can we keep track of all of this?

# Resources for Intro-Level Graduate Courses

In recent months, several of you have asked me to recommend resources for various subjects in mathematics. Well, folks, *here it is! *I've finally rounded up a collection of books, PDFs, videos, and websites that I found helpful while studying for my intro-level graduate courses.

# A Ramble About Qualifying Exams

Today I'm talking about about qualifying exams! But no, I won't be dishing out advice on preparing for these exams. Tons of excellent advice is readily available online, so I'm not sure I can contribute much that isn't already out there. *However*, it's that very web-search that has prompted me to write this post.

You see, before I started graduate school I had heard of these rites-of-passage called *the qualifying exams.* *And to be frank, I thought they sounded terrifying.

# Automorphisms of the Riemann Sphere

This is the last in a four-part series in which we prove that the automorphisms of the unit disc, upper half plane, complex plane, and Riemann sphere each take on a different form. Today our focus is on the Riemann sphere.

# Automorphisms of the Complex Plane

This is part three of a four-part series in which we prove that the automorphisms of the unit disc, upper half plane, complex plane, and Riemann sphere each take on a different form. Today our focus is on the complex plane.

# Automorphisms of the Upper Half Plane

This is part two of a four-part series in which we prove that the automorphisms of the unit disc, upper half plane, complex plane, and Riemann sphere each take on a different form. Today our focus is on the upper half plane.

# Automorphisms of the Unit Disc

This is part one of a four-part series in which we prove that the automorphisms of the unit disc, upper half plane, complex plane, and Riemann sphere each take on a different form. Today our focus is on the unit disc.

# Three Important Riemann Surfaces

In this post we ramble on about Riemann surfaces, the uniformization theorem, universal covers, and two secret (or not-so-secret!) techniques that mathematicians use to study a given space. Our intent is to provide motivation for an upcoming mini-series on the automorphisms of the unit disc, upper half plane, complex plane, and Riemann sphere.

# English is Not Commutative

Here's another unspoken rule of mathematics: *English doesn't always commute*!

Word order is important...

# Good Reads: The Princeton Companion to Mathematics

Next up on Good Reads: The *Princeton Companion to Mathematics, *edited by Fields medalist Timothy Gowers. This book is an exceptional resource! With over 1,000 pages of mathematics explained by the experts for the layperson, it's like an encyclopedia for math, but so much more. Have you heard about category theory but aren't sure what it is? There's a chapter for that! Seen the recent headlines about the abc conjecture but don't know what it's about? There's a chapter for that! Need a crash course in general relativity and Einstein's equations, or the P vs. NP conjecture, or C*-algebras, or the Riemann zeta function, or Calabi-Yau manifolds? There are chapters for all of those *and more*.

# Clever Homotopy Equivalences

You know the routine. You come across a topological space $X$ and you need to find its fundamental group. Unfortunately, $X$ is an unfamiliar space and it's too difficult to look at explicit loops and relations. So what do you do? You look for another space $Y$ that is *homotopy equivalent* to $X$ and whose fundamental group $\pi_1(Y)$ is much easier to compute. And voila! Since $X$ and $Y$ are homotopy equivalent, you know $\pi_1(X)$ is isomorphic to $\pi_1(Y)$. Mission accomplished.

Below is a list of some homotopy equivalences which I think are pretty clever and useful to keep in your back pocket for, say, a qualifying exam or some other pressing topological occasion.

# Snippets of Mathematical Candor

A while ago I wrote a post in response to a great Slate article reminding us that math - like writing - isn't something that anyone is good at without (at least a little!) effort. As the article's author put it, "no one is born knowing the axiom of completeness*."* Since then, I've come across a few other snippets of mathematical candor that I found both helpful and encouraging. And since final/qualifying exam season is right around the corner, I've decided to share them here on the blog for a little *morale-boosting.*

# (Co)homology: A Poem

I was recently (avoiding doing my homology homework by) reading through some old poems by Shel Silverstein, author of *The Giving Tree*, *A Light in the Attic,* and *Falling Up* to name a few. Feeling inspired, I continued to procrastinate by writing a little poem of my own - about homology, naturally!

# Classifying Surfaces (CliffsNotes Version)

My goal for today is to provide a step-by-step guideline for classifying closed surfaces. (By 'closed,' I mean a surface that is compact and has no boundary.) The information below may come in handy for any topology student who needs to know just the basics (for an exam, say, or even for other less practical (but still mathematically elegant) endeavors) so there won't be any proofs today. Given a polygon with certain edges identified, we can determine the surface that it represents in just three easy steps:

# Graduate School: Where Grades Don't Matter

Yesterday I received a disheartening 44/50 on a homework assignment. *Okay okay*, I know. 88% isn't *bad*, but I had turned in my solutions with so much confidence that admittedly, my heart dropped a little (okay, a lot!) when I received the grade. But I quickly had to remind myself, *Hey!* G*rades don't matter.*

# Good Reads: Real Analysis by N. L. Carothers

Have you been on the hunt for a good introductory-level real analysis book? Look no further! The underrated *Real Analysis* by N. L. Carothers is, in my opinion, one of the best out there. Real analysis has a reputation for being a fearful subject for many students, but this text by Carothers does a great job of mitigating those fears. Aimed towards advanced undergraduate and early graduate students, it is written in a fantastically warm and approachable manner without sacrificing too much rigor. The text is intentionally conversational (which I love!) and includes plenty of exercises and illustrations, all the while informing the reader of context and historical background along the way.

# Topological Magic: Infinitely Many Primes

A while ago, I wrote about the importance of open sets in topology and how the properties of a topological space $X$ are highly dependent on these special sets. In that post, we discovered that the real line $\mathbb{R}$ can either be compact or non-compact, depending on which topological glasses we choose to view $\mathbb{R}$ with. Today, I’d like to show you another such example - one which has a surprising consequence!

# The Pseudo-Hyperbolic Metric and Lindelöf's Inequality (cont.)

Last time we proved that the pseudo-hyperbolic metric on the unit disc in ℂ is indeed a metric. In today’s post, we use this fact to verify Lindelöf’s inequality which says, "Hey! Want to apply Schwarz's Lemma but don't know if your function fixes the origin? Here's what you *do *know...."

# The Pseudo-Hyperbolic Metric and Lindelöf's Inequality

In this post, we define the pseudo-hyperbolic metric on the unit disc in ℂ and prove it does indeed satisfy the conditions of a metric.

# Good Reads: Love and Math

*Love and Math* by Edward Frenkel is an excellent book about the hidden beauty and elegance of mathematics. It is primarily about Frenkel’s work on the Langlands Program (a sort of grand unified theory of mathematics) and its recent connections to quantum physics. Yet the author's goal is not merely to *inform *but rather to *convert* the reader into a lover of math. While Frenkel acknowledges that many view mathematics as an “insufferable torment… pure torture, or a nightmare that turns them off,” he also feels that math is “too precious to be given away to the ‘initiated few.’” In the preface he writes...

# The Fundamental Group of the Real Projective Plane

The goal of today's post is to prove that the fundamental group of the real projective plane, is isomorphic to $\mathbb{Z}/2\mathbb{Z}$ And unlike our proof for the fundamental group of the circle, today's proof is fairly short, thanks to the van Kampen theorem! To make our application of the theorem a little easier, we start with a simple observation: *projective plane - disk = Möbius strip*. Below is an excellent animation which captures this quite clearly....

# Absolute Continuity (Part Two)

There are two definitions of absolute continuity out there. One refers to an absolutely continuous *function *and the other to an absolutely continuous *measure.* And although the definitions appear unrelated, they are in fact *very much* related, linked together by Lebesgue's Fundamental Theorem of Calculus. This is the second of a two-part series where we explore that relationship.

# Absolute Continuity (Part One)

There are two definitions of absolute continuity out there. One refers to an absolutely continuous *function *and the other to an absolutely continuous *measure*. And although the definitions appear unrelated, they are in fact *very much* related, linked together by Lebesgue's Fundamental Theorem of Calculus. This is part one of a two-part series where we explore that relationship.

# Necessary vs. Sufficient?

In sum, the **sufficient condition** (a.k.a. the "if" direction) allows you to get what you want. That is, if you assume the sufficient condition, you'll obtain your desired conclusion. It's enough. *It's sufficient.*

On the other hand, the **necessary condition** (a.k.a. the "only if" direction) is the one you *must *assume in order to get what you want. In other words, if you don't have the necessary condition then you can't reach your desired conclusion. *It** is necessary*.

# The Fundamental Group of the Circle, Part 6

Welcome to the final post in a six-part series where we prove that the fundamental group of the circle $\pi_1(S^1)$ is isomorphic to $\mathbb{Z}$. Today we prove two lemmas (the path- and homotopy-lifting properties) that were used in parts four and five. The proof follows that found in Hatcher's Algebraic Topology section 1.1.

# A Recipe for the Universal Cover of X⋁Y

Below is a general method —a recipe, if you will —for computing the universal cover of the wedge sum $X\vee Y$ of arbitrary topological spaces $X$ and $Y$. This is simply a short-and-quick guideline that my prof mentioned in class, and I thought it'd be helpful to share on the blog. To help illustrate each step, we'll consider the case when $X=T^2$ is the torus and $Y=S^1$ is the circle.

# The Fundamental Group of the Circle, Part 5

Welcome to part five of a six-part series where we prove that the fundamental group of the circle $\pi_1(S^1)$ is isomorphic to $\mathbb{Z}$. In this post we prove that our homomorphism from $\mathbb{Z}$ to $\pi_1(S^1)$ is injective. The proof follows that found in Hatcher's Algebraic Topology section 1.1.

# Good Reads: Visual Complex Analysis

Have you ever read Tristan Needham’s *Visual Complex Analysis*? I *highly *recommend this book as a supplement to a standard undergrad/grad course in complex analysis. It's nothing (nothing!) like your usual textbook. The author writes to build your intuition and insight, so it's warm like a conversation and not cold like some math texts. It’s also loaded with illustrations (hence the title), historical background, and context. For example, did you know

# The Fundamental Group of the Circle, Part 4

Welcome to part four of a six-part series where we prove that the fundamental group of the circle $\pi_1(S^1)$ is isomorphic to $\mathbb{Z}$. In this post we prove that our homomorphism from $\mathbb{Z}$ to $\pi_1(S^1)$ is surjective. The proof follows that found in Hatcher's Algebraic Topology section 1.1.

# The Fundamental Group of the Circle, Part 3

Welcome to part three of a six-part series where we prove that the fundamental group of the circle $\pi_1(S^1)$ is isomorphic to $\mathbb{Z}$. In this post we prove that our map from $\mathbb{Z}$ to $\pi_1(S^1)$ is a group homomorphism. The proof follows that found in Hatcher's Algebraic Topology section 1.1.

# The Fundamental Group of the Circle, Part 2

Welcome to part two of a six-part series where we prove that the fundamental group of the circle $\pi_1(S^1)$ is isomorphic to $\mathbb{Z}$. In this post we justify a shortcut that we never actually use in the remainder of this series, so the reader is welcome to skip this post. But I've included it since, in this series, we're closely following section 1.1 of Hatcher's Algebraic Topology.

# The Fundamental Group of the Circle, Part 1

Welcome to part one of a six-part series where we prove that the fundamental group of the circle $\pi_1(S^1)$ is isomorphic to $\mathbb{Z}$. In this post we define a map from $\mathbb{Z}$ to $\pi_1(S^1)$ and make some simple observations via pictures and an animation! The proof follows that found in Hatcher's Algebraic Topology</a>, section 1.1.

# Real Talk: Math is Hard, Not Impossible

The quote above comes from an excellent Slate article by Chase Felker on why students shouldn't be afraid of or intimidated by mathematics. I posted the quote on Instagram not too long ago, and since it addresses a topic that is near-and-dear to my own heart, I decided to include it on the blog as well. Felker prefaces the quote by saying, "Giving up on math means you don't believe that careful study can change the way you think."

# "Up to Isomorphism"?

Up to isomorphism” is a phrase that seems to get thrown around a lot without ever being explained. Simply put, we say two groups (or any other algebraic structures) are the same “up to isomorphism” if they’re isomorphic! In other words, they share the exact same structure and therefore they are essentially indistinguishable. Hence we consider them to be one and the same! *But*, you see, we mathematicians are very precise, and so we really don't like to use the word “same." Instead we prefer to say “same up to isomorphism.” Voila!

# Four Flavors of Continuity

Here's a chart to help keep track of some of the different "flavors" of continuity in real analysis.

# Transitive Group Actions: "Where There's a Will, There's a Way!"

In this post, we visually explore the definition of a *transitive group action* and see how it relates to the phrase, "Where there's a will, there's a way!"

# Dominated Convergence Theorem

Fatou's Lemma, the Monotone Convergence Theorem, and the Dominated Convergence Theorem are three major results in the theory of Lebesgue integration which, when given a sequence of functions $\{f_n\}$, answer the question, "When can I switch the limit symbol and the integral symbol?" In this post, we discuss the Dominated Convergence Theorem and see why "domination" is necessary.

# Monotone Convergence Theorem

Fatou's Lemma, the Monotone Convergence Theorem, and the Dominated Convergence Theorem are three major results in the theory of Lebesgue integration which, when given a sequence of functions $\{f_n\}$ answer the question, "When can I switch the limit symbol and the integral symbol?" In this post, we discuss the Monotone Convergence Theorem and solve a nasty-looking problem which, thanks to the theorem, is actually quite trivial!

# Good Reads: The Shape of Space

Have you read Jeffrey Weeks' *The Shape of Space* before? What a great book! It explores the geometry of spheres, tori, Möbius strips, Klein bottles, projective planes and other spaces in an engaging, this-is-definitely-not-a-textbook kind of way. Other topics include: gluing, orientability, connected sums, Euler number, hyperspace, bundles, and more! (Have I whet your appetite yet?!)

# Fatou's Lemma

Fatou's Lemma, the Monotone Convergence Theorem, and the Dominated Convergence Theorem are three major results in the theory of Lebesgue integration which, when given a sequence of functions $\{f_n\}$ answer the question, "When can I switch the limit symbol and the integral symbol?" In this post, we discuss Fatou's Lemma and solve a problem from Rudin's *Real and Complex Analysis* (a.k.a. "Big Rudin").

# The Borel-Cantelli Lemma

Today we're chatting about the Borel-Cantelli Lemma. When I first came across this lemma, I struggled to understand what it meant "in English." What does $\mu(\cup\cap E_k)=0$ really signify?? There's a pretty simple explanation if $(X,\Sigma,\mu)$ is a probability space, but how are we to understand the result in the context of general measure spaces?

# Open Sets Are Everything

In today's post I want to emphasize a simple - but important - idea in topology which I think is helpful for anyone new to the subject, and that is: **Open sets are everything! **What do I mean by that? Well, for a given set $X$, *all the properties of $X$ are HIGHLY dependent on how you define an "open set." *

# On Connectedness, Intuitively

Today's post is a bit of a ramble, but my goal is to uncover the intuition behind one of the definitions of a connected topological space. Ideally, this is just a little tidbit I'd like to stash in The Back Pocket. But as you can tell already, the length of this post isn't so "little"! Oh well, here we go!

# What is Galois Theory Anyway?

Perhaps you've heard of Évariste Galois? (Pronounced "GAL-wah.") You know, the French mathematician who died tragically in 1832 in a duel at the tender age of 20? (Supposedly over a girl! C*'est romantique, n'est-ce pas?*) Well, today we're taking a bird's-eye view of his most well-known contribution to mathematics: the appropriately named Galois theory. The goal of this post is twofold...

# Baire Category & Nowhere Differentiable Functions (Part Two)

Welcome to part two of our discussion on Baire's Category Theorem. Today we'll sketch the proof that we can find a continuous function on $[0,1]$ which is *nowhere* differentiable.

# A Non-Measurable Set

Today we're looking at a fairly simple proof of a standard result in measure theory:

**Theorem**: Any measurable subset $A$ of the real line with positive measure contains a non-measurable subset.

(Remark: we used this theorem last week to prove the existence of a Lebesgue measurable set which is not a Borel set.)

# Why are Noetherian Rings Special?

In short, "Noetherian-ness" is a property which generalizes "PID-ness." As Keith Conrad so nicely puts it, "The property of all ideals being singly generated is often not preserved under common ring-theoretic constructions (e.g. $\mathbb{Z}$ is a PID but $\mathbb{Z}[x]$ is not), but the property of all ideals being finitely generated *does* remain valid under many constructions of new rings from old rings. For example... every quadratic ring $\mathbb{Z}[\sqrt{d}]$ is Noetherian, even though many of these rings are not PIDs." (italics added)

# Motivation for the Tensor Product

In general, if $F$ is a field and $V$ is a vector space over $F$, the tensor product answers the question "How can I define scalar multiplication on $V$ by some *larger* field which contains $F$?" (Of course this holds if we replace the word "field" by "ring" and consider the same scenario with modules.)

# One Unspoken Rule of Algebra

Here's an algebra tip! Whenever you're asked to prove $$A/B\cong C$$ where $A,B,C$ are groups, rings, fields, modules, etc., *mostly likely* the The First Isomorphism Theorem involved!

# Lebesgue Measurable But Not Borel

Our goal for today is to construct a Lebesgue measurable set which is *not *a Borel set. In summary, we will define a homeomorphism from $[0,1]$ to $[0,2]$ which will map a (sub)set (of the Cantor set) of measure 0 to a set of measure 1. This set of measure 1 contains a non-measurable subset, say $N$. And the preimage of $N$ will be Lebesgue measurable but will not be a Borel set.

# What do Polygons and Galois Theory Have in Common?

*Galois Theory is all about symmetry.* So, perhaps not surprisingly, symmetries found among the **roots of polynomials** (via Galois theory) are closely related to symmetries of **polygons in the plane** (via geometry). In fact, the two are highly analogous!