Timeline for The C*-envelope of the algebra of continuous functions on a compact topological space is commutative
Current License: CC BY-SA 3.0
11 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jun 29, 2016 at 22:06 | vote | accept | groupoid | ||
Jun 29, 2016 at 19:53 | answer | added | Svinto | timeline score: 6 | |
Jun 29, 2016 at 19:43 | comment | added | Yemon Choi | At this stage it seems that it would be best for you to do some more reading on the subject - I feel like I've tried to answer, to the best of my abiility right now, the question in your post "Can someone please help me by explaining this strange remark I came across?" | |
Jun 29, 2016 at 19:42 | comment | added | Yemon Choi | No I am not saying that. I am saying that if you had a particular example of an A which you "saw in the wild", you could guess what F should be. For related concepts in classical function theory, look up the words "Shilov boundary". | |
Jun 29, 2016 at 19:02 | comment | added | groupoid | @YemonChoi so would you say in this case I can simplify it further? Could you please give a simplified F in this case? | |
Jun 29, 2016 at 19:00 | comment | added | Yemon Choi | With a lot of these constructions, any "construction" is usually indirect and not very good at giving a concrete picture. On the other hand, for particular examples it is often possible to guess what F should be, and then check using the definition that this works | |
Jun 29, 2016 at 18:58 | comment | added | groupoid | @YemonChoi thank you this makes it better so in terms of my notation F is the Gelfand spectrum of the envelope as a topological space so is there a way to simplify it even further? | |
Jun 29, 2016 at 18:57 | comment | added | Yemon Choi | You may or may not wish to update the "location" field in your profile, btw. | |
Jun 29, 2016 at 18:56 | comment | added | Yemon Choi | And then once you define E to be the envelope, E is a commutative unital Cstar algebra, hence it's of the form C(K) -- in fact K is the Gelfand spectrum of E | |
Jun 29, 2016 at 18:55 | comment | added | Yemon Choi | Well A is by definition contained in a commutative Cstar algebra B, so the enveloping Cstar algebra must be contained in B | |
Jun 29, 2016 at 15:45 | history | asked | groupoid | CC BY-SA 3.0 |