Question about an automorphism
I have a C*algebra A with a unit 1.
QUESTION 1: If [itex]\alpha\,:\,A\rightarrow A[/itex] is an automorphism then does this mean that [itex]\alpha[/itex] is also a *isomorphism? Now, I also have a positive functional f on A such that [itex]f(\alpha(a)) = f(a)[/itex] for all a. Then I construct the following subspace of A: [tex]N = \{a\,:\,f(a^*a)=0\}[/tex] QUESTION 2: If I quotient A by N to form the quotient space A/N then does this mean that my automorphism [itex]\alpha[/itex] goes from N to N instead of A to A? If not, could I possibly say that IF it does go from N to N THEN it induces a linear transformation [tex]L\,:\,A/N \rightarrow A/N[/tex] which is isometric. So perhaps, by quotienting A by N we have a subspace of a C*algebra such that each element satisfies [itex]f(a^*a) \neq 0[/itex] then if we have an automorphism [itex]\alpha\,:\,N\rightarrow N[/itex] we induce a isometric linear transformation L? Im not sure. 
QUESTION 3: I think that if f is a positive functional then the theorem by Gelfand and Naimark (1943) says then there is a representation [itex]\pi[/itex] on the Hilbert space [itex]\mathcal{H}_f[/itex] and a vector [itex]h\in\mathcal{H}[/itex] such that
[tex]f(a) = (\pi(a)h\,\,h) \quad\quad \forall\,A\in A[/tex] So, if [itex]\pi\,:\,A\rightarrow B(\mathcal{H})[/itex] is a representation and [itex]h \in \mathcal{H}[/itex] then [itex]f(a) = (\pi(a)h\,\,h) [/itex] defines a positive functional on A!  And what's more, ALL positive functionals arise in this way! ...amazing. 
Answer 1: the heuristic argument would be: if any automorphism of a C* algebra as a vector space were a *automorphism why would we define a *automorphism differently? So try looking for an auto morphism that is not a *map.
Answer 2: you should just go and think about linear algebra again, in particular the isomoprhism theorems. In any case as long as alpha maps N to N then it induces a map on the quotient. "If I quotient A by N to form the quotient space A/N then does this mean that my automorphism goes from N to N instead of A to A?" 
I dont see why, if [itex]\alpha[/itex] was originally an automorphism on A, then once I quotient A by N, the automorphism is now on N!? Shouldnt it be from A/N to A/N? Unless, of course, it does?...and it is also on N.

I am not entirely clear what it is you're asking. But let me try to put in the thing that might help you understand.
It is the isomorphism theorems. take M:V>V a linear map. If M preserves a subspace W then M induces a map V/W to V/W by M[x]=[Mx] where [x] is a coset in V/W Of course given any W<V, I can try to define a map from V/W to V/W by M[x]=[Mx] and if this is a well defined linear map on V/W to V/W it must send W to W since it must send the coset [0] to [0]. Of course proving this is usually just the same as proving directly that M maps W into W. The problem would be if Mw was not in W for some w for then we would have [0]=[M0]=M[0]=M[w]=[Mw]=/=[0] 
You seem to like turning functional calculus questions into vector space questions. I wish I could make the same analogies on my own, it seems to work for you. It looks like it makes this stuff a little easier to understand.
Im not too sure of your notation here on the right hand side: "M[x] = [Mx]". You say [x] is a coset in V/W. Does this mean that [x] is also an equivalence class of x in V? So what is [Mx]? If you want to speak in terms of vector spaces then W is an ideal isn't it? 
Quote:

The reason why I keep turning this into vector space stuff is because to some extent that is all that this is: we aren't really discussing any of the analytic properties like convergence of sums of elements. Just think about the additive nature of the question first, then you need to look at the algebraic nature (ie is the quotient actually an algebra rather than just a vector space). This question is just an example of the isomorphism theorems of linear algebra for vector spaces with extra structure.
Just take the vector space structure for now: [x] is an element in the quotient, the coset x+W, and [Mx] is the coset Mx+W. Given a map on V you define an induced map on the cosets, as long as M maps W to W this is well defined (i.e. take two different elements in the same coset and the induced map sends them to the same coset). From what you write I don't think you understand quotient spaces, just as vector spaces. Which is why I'm talking about those and ignoring the algebra part of the question for now. Once you understand the nature of what a quotient is, and what maps on the large space do to the quotient, then you can start adding in extra things like: is the quotient actually a C* algebra? (N needs to be an ideal as well now because we need to define [x][y] as [xy], which in terms of cosets looks like (x+N)(y+N)=(xy+N), and that is only going to happen if N is closed under adding elements of N (ie a vector subspace) and if xN and yN are in N too, i.e. N is an ideal. In this case, alpha is a *iso on A, it restricts to a *iso on N, and hence passes to a *iso on the quotient. The isos are just the restriction and quotient of alpha, so they are intimately related to alpha. 
Ok, fair enough. Let's look at vector spaces. I think you are right, I am taking my knowledge of quotient spaces for granted because I was hoping I didnt need to know the details for this question. As a result of what you said, I got out my algebra book and refreshed myself.
First of all, the equivalence class to which x belongs (written [x]) is x + V, as you have said. This is a coset of V? If so, then if I add two of them together, say [x] and [y], then I get [tex][x] + [y] = (x+V)+(y+V) = (x+y)+V[/tex] Im not sure (or I cant remember) if the coset [x] obeys the vector space axioms implying that it is in fact a vector space of cosets of V. Im not too sure on this. I think it is tho... If so, the vector space of cosets of V (denoted W) is called the quotient space of V by W, and it is written as V/W. So the quotient space V/W is actually a vector space in its own right. QUESTION: Can I say that V/W is the complement of W? 
There is no such thing as 'the' complement of W. Think in two dimensions. Pick a line through the origin. There are uncountably many complementary subspaces to this line.
Let's fix notation W is a subspace of V, [x]=x+W, and is a coset of W. Remember this is thinking about V/~ where ~ is an equivalence relation: x~y if xy is in , [x] is the equivalence class of x under ~ The set of equivalence classes of ~ is a vector space over the same field as V and [x]+[y]=[x+y], k[x]=[kx] for k a scalar. 
Quote:

M does not preserve (all) subspaces (only the multiples of the identity map do that) it must just preserve W, which as you correctly guess means that M(W) is in W.
And I told you how it induces a map on V/W, and I explained why it is necessary for M to map W into W for this to be a well defined map. See post 5. But here it is again: Let us by abuse of notation write M[x] to be the map M[x]=[Mx] this is a map of cosets and if M(W) is in W it is a well defined map: for any coset [x], [Mx] is another coset. If M did not preserve W then there is a w in W with Mw not in W, but then the cosets [0] and [w] are the same element in V/W, and [M0]=[0] is not the same coset as [Mw] since the zero coset contains exactly the things in W. Thus it is not a well defined map on the set of cosets if it does not preserve W. This should all have been taught to you in linear algebra. I say M induces the map because I am using M to define the map. This is a common usage in maths for the term induce. 
In case you are wondering why I asked, Im trying to show that [itex]\alpha\,:\,A\rightarrow A[/itex], the automorphism we are talking about, induces a unitary operator [itex]U\,:\,\mathcal{H}_f \rightarrow \mathcal{H}_f[/itex], where f is a positive functional on A such that [itex]f(\alpha(a)) = f(a)[/itex]. But more on this when we get to it. By the way, do you have any "vector space analogies" for the Hilbert space? Or is it just another vector space to you?
Quote:
Quote:

We're just talking about vector spaces and linear maps right now, M does not have to be an automorphism, it just has to map W to W. Don't get hung up on the actual question you started with yet until you understand the basics here. M must preserve W to give a *well defined* map on the quotient. That is all. Something is well defined if it is independent of choices. Here you have to make a choice of coset representative to define the map. If you choose different representatives of the same coset it must give the same answer. What does that mean here? Suppose [x]=[y], then xy is in W, for [Mx] to equal [My] it means that MxMy is in W, or M(xy) is in W. Since xy is in W this can happen if and only if M(xy) is in W, ie M must preserve W.
But I repeat there is no necessity for M to an automorphism. If M is an automoprhism, so is the induced map on V/W (because it has an inverse, M^{1} on V this passes to an inverse on the quotient). Now, in your case, we're dealing with something more than just a vector space but the basics are still the same. N must be both a a vector subspace just thinking of vector spaces alone, but it must be an ideal when one considers the algebra structure. Banach spaces, C* algebras and Hilbert spaces are more complicated than just vector spaces, but right now you're really only looking at their vector space structure. There is no harm, to begin with, of just thinking: what does this mean for a finite dimensional vector space over C? Which is after all examples of hilbert spaces. If you don't use the finite dimensionality at all in your thinking then you've got an idea of what is going on in general. 
Quote:
Ok, so a map M:V>V which preserves the subspace W of V induces a well defined map on the quotient, V/W. If M is an automorphism then so is the induced map. 
Ok, N is a subspace. Membership for N means that an element a must satisfy [itex]f(a^*a)=0[/itex]. So [itex]A/N = \{a\,:\,f(a^*a)\neq 0\}[/itex]?
And you are saying that N is also an ideal? 
Quote:

Quote:
Elements of A/N are not elements of A! They are sets of elements of A, equivalence classes of elements of A. Just like we sorted out that V/W is *not* the complement of W. V/W is not even a subspace of V. What you've written is a subset of A, and A/N is not a subset of A. Take another analogy. Z/nZ modulo arithmetic, the elements of Z/nZ are not elements of Z, are they? (We might use the same symbols but this is an abuse of notation, 1 means [1] and so on, i.e. we pick a distinguished element from each equivalence class) Just to clarify, N must be a two sided ideal: I made a mistake earlier: (x+N)(y+N)=xy+xN+Ny+N so N needs to be a lft ideal (xN<N) and a right ideal (Ny<N) 
All times are GMT 5. The time now is 03:39 PM. 
Powered by vBulletin Copyright ©2000  2014, Jelsoft Enterprises Ltd.
© 2014 Physics Forums