January 2, 2013
This post will require some very basic knowledge of category theory (like, what a category is, and how to make a poset into a category). For everything below, I will be a bit informal, but I will essentially mean that are objects in a category, and is some morphism between them which is also in the category.
The "natural" extension of the notion of a surjective map (in, say, the category of sets) is
Definition. A map is an epimorphism if, for each object and map we have that if then .
You should prove for yourself that this is, in fact, what a surjective map "does" in the category of sets. Pretty neat. Similarly, for injective maps (in, say, the category of sets) we have the more general notion:
Definition. A map is a monomorphism if, for each object and map we have that if then .
Again, you should prove for yourself that this is the property that injective mappings have in the category of sets. Double neat. There is also a relatively nice way to define an isomorphism categorically — which is somewhat obvious if you’ve seen some algebraic topology before.
Definition. A map is an isomorphism if there is some mapping such that and , where denote the identity morphism from the subscripted object to itself.
Now, naively, one might think, "Okay, if I have some certain kind of morphism in my category (set-maps, homomorphisms, homeomorphisms, poset relations, …) then if it is an epimorphism and a monomorphism, it should automatically be an isomorphism." Unfortunately, this is not the case. Here’s two simple examples.
Example (Mono, Epi, but not Iso). The most simple category for which this works is the category 2, which I’ve drawn below:
There are two objects, and three morphisms, the identites and the morphism . First, prove to yourself that this is actually a category. Second, we note that is an epimorphism: the only map from is the identity, and there is no mapping from , so the property trivially holds. Third, we note that is a monomorphism for the exact same reason as before. Last, we note that is not an isomorphism: we would need some which satisfied the properties in the definition above…but, there is no map from . Upsetting! From this, we must conclude that cannot be an isomorphism despite being a mono- and epimorphism.
Similar Example (Mono, Epi, but not Iso). Take the category , the natural numbers with morphisms as the relation . Which morphisms are the monomorphisms? Which morphisms are the epimorphisms? Prove that the only isomorphisms are the identity morphisms. Conclude that there are a whole bunch of morphisms which are mono- and epimorphisms but which are not isomorphisms.
August 5, 2012
Question: Consider the subspace of consisting of even functions (that is, functions with ). Find the orthogonal complement of .
One Solution. It’s easy to prove is a subspace. Then, there is a representation of any function in this space by adding odd and even functions together; more precisely, given we have that is even and is odd and . For uniqueness, note that if , then for each , giving us that . Hence, the orthogonal complement of is the set of odd functions.
Here’s another solution that "gets your hands dirty" by manipulating the integral.
Another Solution. We want to find all such that for every even function . This is equivalent to wanting to find all such with . Assume is in the orthogonal complement. That is,
The last equality here re-parameterizes the first integral by letting , but note that our new gives us the negative sign.
We may choose since this is an even function, and we note that this gives us
Since , it must be the case that . [Note: The fact that this is only true "almost everywhere" is implicit in the definition of .] Hence, , giving us that .
We now have one direction: that if is in the orthogonal complement, then it will be odd. Now we need to show that if is any odd function, it is in the orthogonal complement. To this end, suppose is an odd function. Then by the above, we have
where the last equality comes from the fact that is odd.
January 26, 2011
Before this post, I outlined another post which attempted to find the average price of being a mathematician — or, in other words, what does it cost to be able to get a BA in math, including tuition, tools, books, and so forth. A lot of my estimates were arbitrary, so I’ll post about a slightly different topic: what tools do I use on a regular basis to do mathematics, and how much do they cost?