Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeNov 2nd 2012
   • (edited Nov 2nd 2012)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI edited the old entry _[[projection]]_ a little. There is no real systematics in common use of "projection" as opposed to "projector", but I think the following makes good sense: 1. a _projection_ is a canonical map out of a product; 1. a _projector_ is an idempotent in a suitably abelian category and then the relation is: _A projector is a projection followed by a subobject inclusion._ That's how I have now put it in the entry.

   I edited the old entry projection a little.

   There is no real systematics in common use of “projection” as opposed to “projector”, but I think the following makes good sense:

   1. a projection is a canonical map out of a product;

   2. a projector is an idempotent in a suitably abelian category

   and then the relation is: A projector is a projection followed by a subobject inclusion.

   That’s how I have now put it in the entry.

2. • CommentRowNumber2.
   • CommentAuthorzskoda
   • CommentTimeNov 2nd 2012
   • PermaLink
   Author: zskoda
   Format: MarkdownItexNice remark about projector vs. projection. I find it often as projection, or even projective, operator rather than projector. For example one talks about [[projective measure]], which is projective operator valued. Indeed, in functional analysis they usually distinguish the self-adjoint case of projector from non-self adjoint of an idempotent. I think that the setup is not limited to abelian categories. For example, one uses the same terminology in [[Quillen exact categories]], so I would at least say additive instead of abelian.

   Nice remark about projector vs. projection.

   I find it often as projection, or even projective, operator rather than projector. For example one talks about projective measure, which is projective operator valued.

   Indeed, in functional analysis they usually distinguish the self-adjoint case of projector from non-self adjoint of an idempotent. I think that the setup is not limited to abelian categories. For example, one uses the same terminology in Quillen exact categories, so I would at least say additive instead of abelian.

3. • CommentRowNumber3.
   • CommentAuthorTobyBartels
   • CommentTimeNov 2nd 2012
   • PermaLink
   Author: TobyBartels
   Format: MarkdownItexI already had [[projection operator]] as a wanted link at [[idempotent]], and now I have made it wanted at [[projection]] too, and in both cases I said that it should be self-adjoint since that\'s how I learnt it. Probably the self-adjoint case should just be discussed in [[projector]], but I\'m not sure how to manage the terminology.

   I already had projection operator as a wanted link at idempotent, and now I have made it wanted at projection too, and in both cases I said that it should be self-adjoint since that's how I learnt it. Probably the self-adjoint case should just be discussed in projector, but I'm not sure how to manage the terminology.