PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
reflexive non-degenerate sesquilinear (Definition)

A non-degenerate sesquilinear form $ b:V\times V\rightarrow k$ is reflexive if for all $ v,w\in V$, if $ b(v,w)=0$ then $ b(w,v)=0$. This means

% latex2html id marker 331 $\displaystyle v\perp w\textnormal{ if and only if } w\perp v.$
It is rare to define perpendicularity for sesquilinear/bilinear maps which are not reflexive because it would require a version of left and right perpendicular. Thus a reflexive sesquilinear/bilinear map is usually synonymous with the existence of perpendicularity.



"reflexive non-degenerate sesquilinear" is owned by Algeboy.
(view preamble)

View style:

See Also: sesquilinear forms over general fields

Other names:  reflexive non-degenerate bilinear, reflexive sesquilinear, reflexive bilinear
Also defines:  Reflexive non-degenerate sesquilinear, Reflexive non-degenerate bilinear, Reflexive
Keywords:  Reflexive

Attachments:
left / right perpendicular (Derivation) by Algeboy
Log in to rate this entry.
(view current ratings)

Cross-references: right perpendicular, maps, perpendicularity, sesquilinear form, non-degenerate
There are 42 references to this entry.

This is version 7 of reflexive non-degenerate sesquilinear, born on 2006-04-14, modified 2006-09-06.
Object id is 7834, canonical name is ReflexiveNonDegenerateSesquilinear.
Accessed 5630 times total.

Classification:
AMS MSC15A63 (Linear and multilinear algebra; matrix theory :: Quadratic and bilinear forms, inner products)

Pending Errata and Addenda
None.
[ View all 4 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)