Feeds:
Posts
Comments

Archive for the ‘analysis’ Category

Groups are in particular sets equipped with two operations: a binary operation (the group operation) (x_1, x_2) \mapsto x_1 x_2 and a unary operation (inverse) x_1 \mapsto x_1^{-1}. Using these two operations, we can build up many other operations, such as the ternary operation (x_1, x_2, x_3) \mapsto x_1^2 x_2^{-1} x_3 x_1, and the axioms governing groups become rules for deciding when two expressions describe the same operation (see, for example, this previous post).

When we think of groups as objects of the category \text{Grp}, where do these operations go? They’re certainly not morphisms in the corresponding categories: instead, the morphisms are supposed to preserve these operations. But can we recover the operations themselves?

It turns out that the answer is yes. The rest of this post will describe a general categorical definition of n-ary operation and meander through some interesting examples. After discussing the general notion of a Lawvere theory, we will then prove a reconstruction theorem and then make a few additional comments.

(more…)

Read Full Post »

Banach algebras abstract the properties of closed algebras of operators on Banach spaces. Many basic properties of such operators have elegant proofs in the framework of Banach algebras, and Banach algebras also naturally appear in areas of mathematics like harmonic analysis, where one writes down Banach algebras generalizing the group algebra to study topological groups.

Today we will develop some of the basic theory of Banach algebras, our goal being to discuss the Gelfand representation of a commutative Banach algebra and the fact that, for commutative C*-algebras, this representation is an isometric isomorphism. This implies in particular a spectral theorem for self-adjoint operators on a Hilbert space.

This material can be found in many sources; I am working from Dales, Aiena, Eschmeier, Laursen and Willis’ Introduction to Banach Algebras, Operators, and Harmonic Analysis.

Below all vector spaces are over \mathbb{C}, all algebras are unital, and all algebra homomorphisms preserve units unless otherwise stated. In the context of Banach algebras, the last two assumptions are not standard, but in practice non-unital Banach algebras are studied by adjoining units first, so we do not lose much generality.

(more…)

Read Full Post »

Hilbert spaces are a particularly nice class of Banach spaces. They axiomatize ideas from Euclidean geometry such as orthogonality, projection, and the Pythagorean theorem, but the ideas apply to many infinite-dimensional spaces of functions of interest to various branches of mathematics. Hilbert spaces are also fundamental to quantum mechanics, as vectors in Hilbert spaces (up to phase) describe (pure) states of quantum systems.

Today we’ll develop and discuss some of the basic theory of Hilbert spaces. As with the theory of Banach spaces, there are (at least) two types of morphisms we might want to talk about (unitary operators and bounded operators), and we will discuss an elegant formalism that allows us to talk about both. Things written by John Baez will be cited excessively.

(more…)

Read Full Post »

One annoying feature of the abstract theory of vector spaces, and one that often trips up beginners, is that it is not possible to make sense of an infinite sum of vectors in general. If we want to make sense of infinite sums, we should probably define them as limits of finite sums, so rather than work with bare vector spaces we need to work with topological vector spaces over a topological field, usually \mathbb{R} or \mathbb{C} (but sometimes fields like \mathbb{Q}_p are also considered, e.g. in number theory). Common and important examples include spaces of continuous or differentiable functions.

Today we’ll discuss a class of topological vector spaces which is convenient to work with but which still covers many examples of interest, namely Banach spaces. The material in the first half of this post is completely standard and can be found in any text on functional analysis.

In the second half of the post we discuss a category of Banach spaces such that two Banach spaces are isomorphic in this category if and only if they are isometrically isomorphic but which still allows us to talk about bounded linear operators between Banach spaces, and to do this we briefly discuss Lawvere metrics; this material can be found on the nLab.

(more…)

Read Full Post »

Let a, b be two n \times n matrices. If a, b don’t commute, then ab \neq ba; however, the two share several properties. If either a or b is invertible, then ab is conjugate to ba, so in particular they have the same characteristic polynomial.

What if neither a nor b are invertible? As it turns out, ab and ba still have the same characteristic polynomial, although they are not conjugate in general (e.g. we might have ab = 0 but ba nonzero). There are several ways of proving this result, which implies in particular that ab and ba have the same eigenvalues.

What if a, b are linear transformations on an infinite-dimensional vector space? Do ab and ba still have the same eigenvalues in an appropriate sense? As it turns out, the answer is yes, and the key lemma in the proof is an interesting piece of “noncommutative high school algebra.”

(more…)

Read Full Post »

Estimating roots

In lieu of a real blog post, which will have to wait for at least another two weeks, let me offer an estimation exercise: bound, as best you can, the unique positive real root of the polynomial

\displaystyle x^{10000} + x^{100} - 1.

The intermediate value theorem shows that x \in (0, 1), which was the subject of a recent math.SE question that provided the inspiration for this question. I provide a stronger lower bound on x using elementary inequalities and entirely by hand in an answer to the linked question, although I don’t try to improve the upper bound.

Read Full Post »

The following two lemmas might be encountered in a basic course in complex analysis (the first in a basic course in group theory, even).

Lemma 1: Fix a field F. The group of fractional linear transformations PGL_2(F) acts triple transitively on \mathbb{P}^1(F) and the stabilizer of any triplet of distinct points is trivial.

Lemma 2: The group of fractional linear transformations on \mathbb{P}^1(\mathbb{C}) preserving the upper half plane \mathbb{H} = \{ z \in \mathbb{C} | \text{Im}(z) > 0 \} is PSL_2(\mathbb{R}).

I used to only know extremely boring computational proofs of both of these statements. However, I now know better! Today I’d like to give shorter and conceptual proofs of both of these, and then briefly discuss how they come about in the study of elliptic curves (a subject I’d like to talk about in more detail once this semester is over).

(more…)

Read Full Post »

Older Posts »

Follow

Get every new post delivered to your Inbox.

Join 324 other followers