How to show that the operation of a group is continuous?

In summary, the author is asking how he can show that matrix multiplication is a continuous operation. He is also asking if this is still true if he is working in a vector field where the norm fails.
  • #1
Arian.D
101
0
Hi guys,

This is a general question that I'm thinking about now. Imagine that I've been given a set which is a group and we have defined a topology on it. how can I show that the group operation is continuous? Actually to begin with, how can I know if the group operation is really continuous? maybe it's not continuous?

As an example, suppose that the group is GL(n,ℝ). How can I show that the matrix multiplication is continuous? The first thing that confuses me is that the function is defined from GL(n,ℝ)×GL(n,ℝ) → GL(n,ℝ). so for each open set in GL(n,ℝ) I should show that its pre-image is also open. But the topology on GL(n,ℝ)×GL(n,ℝ) is different, no? It's the product topology I guess. so I'm really confused about how I should show that matrix multiplication is a continuous operation on GL(n,ℝ), it seems a little tricky.

Any helps would be appreciated. But please by descriptive, since I'm an untalented undergraduate school who can be pretty absent minded and slow sometimes.

I've also asked this question on here https://www.physicsforums.com/showthread.php?t=648847 where I've proved, with the help of haruspex, that matrix inversion is continuous.

Thanks in advance
 
Physics news on Phys.org
  • #2
I don't know how you do it in general, beyond showing that the definition is true.

But for GL(n,ℝ), GL(n,ℝ) is topologized as a subspace of ℝ^(n^2) (the vector space of all n by n matrices). I wouldn't go directly from the definition. Just look at the definition of matrix multiplication. It's built out of a bunch of continuous things. You just add stuff and multiply stuff. Continuous. Like showing x^2 is continuous. You can show that f(x) is continuous using epsilons and deltas because that is trivial. Then products of continuous functions are continuous, so you're done. And usually, if you write down a typical function given by some formula from ℝ^n to ℝ^m, you just know it's continuous for these reasons. Just like that. You can multiply any two matrices at all and that gives you a continuous map from ℝ^(n^2) χ ℝ^(n^2) to ℝ^(n^2). The group operation on GL(n, R) is just a restriction of that map. Restricting a continuous map to a subspace gives a continuous map.

So, this will show you that any real matrix group is continuous.
 
  • #3
matrix multiplication is a polynomial in each coordinate. Polynomials are continuous on subsets of Euclidean space.
 
  • #4
well, yea. That's what I initially thought too. But actually let's make it a bit more general. Imagine that instead of ℝ we're working in a general field F. F could be any field even with a non-zero characteristic like Zp.

Please check this proof:
https://www.physicsforums.com/showthread.php?t=648847

This is what is in my head now:

Nowhere in my proof I've assumed the fact that the entries of the matrix A comes from ℝ. I mean for almost every bit of my proof I haven't assumed anything just more than the fact that ℝ is a field and ℝn has been given a topological structure induced by a norm defined on it. I guess I haven't used the fact that ℝ is an ordered field with convergent Cauchy sequences in it or stuff like that (I'm talking about the entries of A, not about the norm of A which is indeed a real number). Let's assume we're working in GL(n,Zp) or GL(n,ℂ) (Even though that the argument for polynomial multiplication would still work in ℂ).
Can we still say that matrix multiplication and inversion in GL(n,F) are continuous operations?

For example one of the bad things that could happen in a vector field of dimension n over Zp is that the Euclidean norm would fail on it. For example if V is a vector space of dim=2 over Zp (p=4k+1 for some k) then some Fermat's theorem tells u that [itex] (((p-1)/2)!)^2 \equiv -1 [/itex]. For example in Z5 the 2-D vector (1,3) has a Euclidean length of 0, even though it's not the zero vector. so the Euclidean norm can't be used on Zpn. But I think much of the things I'd proved earlier about matrix inversion would remain valid if we have a norm on Zp. Am I wrong?

I think I've made my point clear. My point is, in a group where we've defined a topology on it we certainly can make the product topology for G × G and study continuity of the group operation. No? Now maybe this is too general, but at least in metric spaces that there is a richer topological structure there might be tips and tricks that help me in future when I encounter some harder math stuff. That's my point.
 
  • #5
1. If multiplication is continuous then inversion is continuous. This can be proved in the most general of circumstances (I think).

2. Multiplication is not automatically continuous without some kind of hypothesis on the topology. E.g. G = (Z/3Z, +). Open sets are G, the empty set, and {2}. That is a topology, but the inverse image of {2} under the map 1+x is not open.

3. What about metric topologies on vector spaces? Take R with the metric d'= d/(1+d) where d is the usual distance. Then modify d'(0,x)=2 for all x other than 0. The open sets are the same except the point 0 is removed from all of them (except from the entire real line). The inverse image of the open set 0<x<2 under the mapping x -> x+1 is (-1,1) which is not open.

4. Continuity is equivalent to gU being open for all g in G and all open U.
 
  • #6
Arian.D said:
I think I've made my point clear. My point is, in a group where we've defined a topology on it we certainly can make the product topology for G × G and study continuity of the group operation. No? Now maybe this is too general, but at least in metric spaces that there is a richer topological structure there might be tips and tricks that help me in future when I encounter some harder math stuff. That's my point.

I don't see your point. It will still boil down to whether polynomials are continuous.
 
  • #7
Vargo said:
1. If multiplication is continuous then inversion is continuous. This can be proved in the most general of circumstances (I think).
This one isn't obvious to me at all. Actually the nature of these operations is quite different for me. One is a binary operation on G×G, the other is a unitary operation on G and so far in the sources I've read, with my limited knowledge, they require both the multiplication and inversion to be continuous in a group.

2. Multiplication is not automatically continuous without some kind of hypothesis on the topology. E.g. G = (Z/3Z, +). Open sets are G, the empty set, and {2}. That is a topology, but the inverse image of {2} under the map 1+x is not open.
Thanks. That was a nice observation. Well, the trivial group is always continuous I think. But let's add some hypothesis. What if there are no isolated points in the topology? Can you still come up with a counter example that shows the group operation could still be not continuous?


3. What about metric topologies on vector spaces? Take R with the metric d'= d/(1+d) where d is the usual distance. Then modify d'(0,x)=2 for all x other than 0. The open sets are the same except the point 0 is removed from all of them (except from the entire real line). The inverse image of the open set 0<x<2 under the mapping x -> x+1 is (-1,1) which is not open.

I didn't quite well understand this one :/. I agree that d(x,y) and d'(x,y) would induce the same topologies before modification of d', but I don't get why after you modify d' it still induces the same topology on R. I don't get this sentence either: "except the point 0 is removed from all of them (except from the entire real line)."

4. Continuity is equivalent to gU being open for all g in G and all open U.
Why?

lavinia said:
I don't see your point. It will still boil down to whether polynomials are continuous.

Yea, it does boil down to that for matrix multiplication, I don't disagree with that. If it helps think of my question this way. Given a general ring R, are members of R[x1,x2,...,xn] continuous? in this particular case of matrix multiplication, given a field, are members of F[a,b] (two-variable polynomials with coefficients in F) continuous?

Sorry guys if I'm being annoying or I'm asking too much. I know that when a question is too general it becomes hard to answer it. For now even if you can answer whether polynomials with their coefficients in a given ring are always continuous or not I would be very appreciative.
 
  • #8
So I double checked my statements, which were a bit hasty and reckless :)

1. Given continuous multiplication, I remembered doing an exercise in a textbook proving that inversion is automatically continuous. I found it in Armstrong. What I forgot were the additional hypotheses on the group. G must be Hausdorff and compact. If it is not, then the statement is false in general.

http://math.stackexchange.com/quest...-requires-continuity-of-inverse/151889#151889

2. In the example of the metric topology on R, my explanation was weak, but it is still a counter example. The singleton {0} is open because it is the ball of radius 1 around 0. However, there are no other singletons in the topology, so left translation is not a homeomorphism.

3. Considering the first point, if gU is open for all g and all U, this is clearly not enough to guarantee that the group is topological. This just means that G acts continuously on the left on itself. Now, if G also acts continuously on the right, that might be enough to prove that multiplication is continuous, but I'm not sure...
 

FAQ: How to show that the operation of a group is continuous?

What is the definition of continuity in group operations?

Continuity in group operations is the property that states that small changes in the input of the operation will result in small changes in the output. In other words, if the elements of the group are close to each other, their operation will also be close to each other.

How can we prove that a group operation is continuous?

To prove continuity in group operations, we need to show that the group operation satisfies the following conditions:
1. The operation is well-defined, meaning that the result of the operation is unique and does not depend on the order of the elements.
2. The operation is associative, meaning that the grouping of elements does not affect the result.
3. The operation is commutative, meaning that the order of the elements does not affect the result.
4. The identity element exists and is unique.
5. Inverse elements exist for all elements in the group.
6. The operation is continuous at all points.

What is the importance of continuity in group operations?

Continuity in group operations is important because it ensures that the group is well-behaved and the operation is consistent. It allows us to make predictions and draw conclusions based on the behavior of the group. It also allows us to extend the operation to continuous functions, which has many practical applications in fields such as physics and engineering.

Can we use other mathematical concepts to prove continuity in group operations?

Yes, we can use concepts such as limits, convergence, and differentiability to prove continuity in group operations. These concepts provide a more rigorous and mathematical approach to proving continuity.

Are there any real-world examples of groups with continuous operations?

Yes, there are many examples of groups with continuous operations in the real world. For example, the group of rotations in three-dimensional space is a continuous group, where the operation of composition of rotations is continuous. Another example is the set of all invertible matrices, which forms a continuous group under multiplication. These examples demonstrate the importance of continuity in group operations in understanding and analyzing real-world phenomena.

Back
Top