Talk:C*-algebra

Mathematics High‑priority

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
High	This article has been rated as High-priority on the project's priority scale.

Physics Low‑importance

	Physics portal This article is within the scope of WikiProject Physics, a collaborative effort to improve the coverage of Physics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.PhysicsWikipedia:WikiProject PhysicsTemplate:WikiProject Physicsphysics articles
Low	This article has been rated as Low-importance on the project's importance scale.

Comment

What is the point of the spaces introduced by User:Deflog, some of which change the paragraph structure?CSTAR 19:36, 14 May 2004 (UTC)[reply]

This article seems to suggest ||x*||=||x|| for B* algebras. Phys 23:42, 3 Aug 2004 (UTC)

Yes it does. Indeed, this is the commonly accepted definition. Cf Dixmier 1.2.1 CSTAR 23:56, 3 Aug 2004 (UTC)

According to Blackadar, Operator Algebras, II.1.1.2, "in many older references, abstract C*-algebras were called B*-algebras, with the name C*-algebra reserved for concrete C*-algebras".

The "history" section is unclear. It seems to be saying that B* <==> C* but the ==> part is easier to prove and the <== part need not use ||x*||=||x||. However I fail to see what "For these reasons ..." actually means. — Preceding unsigned comment added by 192.76.7.215 (talk) 14:51, 26 September 2013 (UTC)[reply]

C*-algebra

It really sucks that we have to write C-star-algebra!CSTAR 03:01, 8 Sep 2004 (UTC)

You don't like writing C* algebra or C*-algebra, then? :) Lupin 03:35, 8 Sep 2004 (UTC)

In the title?CSTAR

We could move the page... Lupin 04:00, 8 Sep 2004 (UTC)

Is that possible? I though asterisks were not permissiblle characters in titles.CSTAR 04:08, 8 Sep 2004 (UTC)

Well I guess they are possible. Maybe we should move others: In particular, Spectrum of a C-star-algebra to Spectrum of a C*-algebra. CSTAR 04:18, 8 Sep 2004 (UTC)

NPOV

Ya know, saying that a book is "exciting and insightful" is not a statement that belongs in an encyclopedia without some careful couching ("commonly held to be..." etc). So I think that the opinionated comments about the references do violate NPOVness. Lupin 03:32, 8 Sep 2004 (UTC)

Granted, possibly the phrasing is in bad taste. But to call this an opininiated comment? The reference we are talking about is a major work by a Fields medalist. This book is indeed widely regarded as an exciting and insightful book. Various instances of courses at major univetrsities (UC Berkeley UCLA) have been based on this book; this has has opened new areas of research. Moreovrr to use NPOV (which can be a highly subjective criterion) as a bludgeon to correct some other problem, e.g. a problem of style or taste is really a bad idea.

The whole point of a collabortaive effort, if you feel more careful "couching" is required, is to by all means put that couching in. But don't simply wipe some piece of text out entirely if some justification is possible, and I believe I have given an argument as to why the book is insightful and exciting.CSTAR 03:48, 8 Sep 2004 (UTC)

Well that comment (and the others) may not necessarily be "wrong", but it certainly does come across as opinionated to me. Unfortunately I don't myself feel qualified to speak with any authority about the perceived merits of the references. Perhaps you could expand on your comments? They still sound inappropriate in an encyclopedia to me. Apologies if my "wiping" ruffled feathers. Lupin 03:59, 8 Sep 2004 (UTC)

Moving to C*-algebra

This is currently a redirect page. Please voice objections soon. VERY soon. CSTAR 04:25, 8 Sep 2004 (UTC)

type I C*-algebras

I have changed the statement 'A is type I iff every factor representation generates a type I factor' to 'A is type I iff every representation generates a type I von Neumann algebra'. If I'm not mistaken, the latter is equivalent with the former (or is a separability condition necessary?)? I get my definition (indirectly) from Arveson's book. So I'll add the first statement as a relaxation of the type I condition. I think this approach is nicer, since then the definition is easier and more general to state.

They are clearly equivalent for separable A. According to Sakai's book, Theorem 4.6.4 it's true in general.--CSTAR 04:52, 16 September 2006 (UTC)[reply]

Uniqueness

What's the problem with claiming "A is a C*-algebra in a unique way"? A C*-algebra (involutive algebra with a complete C*-norm) has a unique complete C*-norm. Am I missing something?--CSTAR 18:10, 18 September 2007 (UTC)[reply]

good to see you still around, CSTAR :-). C* norms are unique in general, for every C*-algebra. that sentence about quotient algebras just seemed kinda funny: "The algebraic quotient of a C*-algebra by a closed proper two-sided ideal is a C*-algebra in a unique way". it might suggest that, somehow in some weird way, one should expect more than one C*-structure on the quotient algebra but this turns out not to be the case.

it's more appropriate to point out here instead that the natural norm turns out to be a C*-norm, hence the only one, IMHO. Mct mht 23:13, 18 September 2007 (UTC)[reply]

All homomorphisms are isometries?

I don't think it's just the grammar that's incorrect in this sentence: "Furthermore, a *-homomorphism between C*-algebras is isometry." Should that be a *-isomorphism? 76.126.116.54 (talk) 04:03, 12 March 2009 (UTC)[reply]

Maybe I should stop being a baby, look up the correct statement and fix it myself. Missing that teeny word "injective", according to Davidson, C*-algebras by Example, Theorem I.5.5. 76.126.116.54 (talk) 04:09, 12 March 2009 (UTC)[reply]

Copyright problem removed

One or more portions of this article duplicated other source(s). The material was copied from: http://www.archive.org/stream/mathematicalscie021335mbp/mathematicalscie021335mbp_djvu.txt. Infringing material has been rewritten or removed and must not be restored, unless it is duly released under a compatible license. (For more information, please see "using copyrighted works from others" if you are not the copyright holder of this material, or "donating copyrighted materials" if you are.) For legal reasons, we cannot accept copyrighted text or images borrowed from other web sites or published material; such additions will be deleted. Contributors may use copyrighted publications as a source of information, but not as a source of sentences or phrases. Accordingly, the material may be rewritten, but only if it does not infringe on the copyright of the original or plagiarize from that source. Please see our guideline on non-free text for how to properly implement limited quotations of copyrighted text. Wikipedia takes copyright violations very seriously, and persistent violators will be blocked from editing. While we appreciate contributions, we must require all contributors to understand and comply with these policies. Thank you. Ozob (talk) 21:27, 19 December 2009 (UTC) types are never derfined — Preceding unsigned comment added by 173.12.75.81 (talk) 10:41, 10 August 2011 (UTC)[reply]

Proposed merge with †-algebra

WP:DICDEF: †-algebra is apparently an alternative name for a finite C*-algebra. QVVERTYVS (hm?) 08:50, 16 July 2015 (UTC)[reply]

Introduction versus body. Abstract characterization versus operators on a Hilbert space.

In the lede it says a C* algebra is an algebra of operators on a Hilbert space. This is not supported by the text, which gives an abstract definition as a kind of Banach algebra. These should be brought into line. 84.226.79.103 (talk) 11:13, 1 March 2018 (UTC)[reply]