Spaiu prehilbertian

n matematic, un spaiu prehilbertian este un spaiu vectorial de dimensiune arbitrar (posibil

chiar infinit) cu o structur adiional, care, printre altele, permite generalizarea unor concepte
din geometria euclidian n dou sau trei dimensiuni. Structura adiional asociaz fiecrei perechi
de vectori din spaiu un numr numit produs scalar al vectorilor. Produsul scalar permite
introducerea cu rigurozitate a unor noiuni geometrice intuitive cum ar fi unghiul ntre vectori
sau lungimeavectorilor n spaiile de orice dimensiune. De asemenea, permite introducerea
conceptului de ortogonalitate ntre vectori. Spaiile cu produs scalar generalizeaz spaiile
euclidiene i sunt studiate n analiza funcional.
Acest spaiu cu produs scalar este numit spaiu prehilbertian, deoarece completitudinea sa n
raport cu metrica indus de produsul su scalar este un spaiu Hilbert.
Spaiile prehilbertiene au fost numite i spaii unitare n lucrri mai vechi, dar acest terminologie
nu mai este folosit dect rar.

Definiie
Se noteaz grupul scalarilor cu F i este fie grupul numerelor reale R sau cel al numerelor
complexe C.
Un spaiu prehilbertian este un spaiu vectorial V peste F mpreun cu o form multiliniar pozitiv
definit nedegenerat, numit produs scalar. Pentru spaiile vectoriale reale, aceasta este chiar
o form biliniar simetric pozitiv-definit nedegenerat. Astfel produsul scalar este

i satisface urmtoarea axiom pentru toate

Simetria conjugatei:

Aceast condiie nseamn c

, deoarece

(Conjugarea este adesea notat cu asterisc, astfel:

Liniaritatea n prima variabil:

Combinnd aceasta cu simetria conjugatei, se obine:

.
, ca i conjugata transpus.)

Nenegativitatea:

(Aceasta are sens pentru c

pentru toate

implic

.)

Nedegenerarea:
.

Deci produsul scalar este o form Hermitic nenegativ i nedegenerat.

Proprietatea unui spaiu prehilbertian

ca
i

este cunoscut

ca aditivitate.
Se observ c dac F=R, atunci proprietatea de simetrie a conjugatei este simpl simetrie a
produsului scalar, adic

Observaii.
n condiiile definiiei de mai sus, un produs scalar este liniar i n variabila a doua. Astfel, dac
avem scalarii a, b i vectorii x, y1, y2:

Majoritatea autorilor matematicieni pun condiia ca un produs scalar s fie liniar n primul argument
i conjugat-liniar n al doilea, conform conveniei de mai sus. Muli fizicieni adopt convenia invers.
Aceast convenie este nematerial, dar definiia invers furnizeaz o mai bun legtur cu notaia
bra-ket folosit de fizicieni n mecanica cuantic(permind scalarilor s rezulte direct din ket, care
reprezint vectori i conjugnd scalarii extrai din bra, care reprezint funcionale liniare) i acum
este uneori folosit i de matematicieni. Unii autori au adoptat convenia c < , > este liniar n prima
component i < | > este liniar n a doua, dei aceasta nu e o notaie rspndit universal. De
exemplu (Emch [1972]) nu urmeaz aceast convenie.
Exist varii motive tehnice pentru care este necesar restricionarea mulimilor de scalari la R i C n
definiie. Pe scurt, grupul de baz trebuie s conin un subgrup ordonat(pentru a avea sens
noiunea de nenegativitate) i astfel trebuie s aib caracteristica egal cu 0. Aceasta exclude
automat grupurile finite. Grupul de baz trebuie s aib i structuri adiionale, cum ar fi un
automorfism.

Exemple
Un exemplu trivial l constituie numerele reale cu nmulirea standard ca produs scalar

Mai general, orice spaiu euclidian Rn cu produsul scalar

Forma general a unui produs scalar peste Cn este dat de:

unde M este orice matrice pozitiv-definit, i x* este conjugata transpus a lui x.

Pe spaiul vectorial C([a, b]) al funciilor reale continue pe intervalul [a, b] se definete
produsul scalar canonic a dou funcii f, g prin formula:

Norma spaiilor prehilbertiene

Spaiile cu produs scalar au o norm natural

Aceasta este bine definit de axioma de nenegativitate din definiia spaiului cu produs scalar.
Norma lui x este considerat ca lungime a vectorului x i posed proprietile:
i

1.
2.
3.

(inegalitatea triunghiului).

Direct din axiome, se pot demonstra urmtoarele:

Inegalitatea Cauchy-Schwarz: pentru x, y din V

egalitatea apare dac i numai dac x i y sunt liniar dependente. Aceasta este una din cele
mai importante inegaliti din matematic. n literatura matematic ruseasc este cunoscut
i sub numele de Inegalitatea Cauchy-Buniakowski-Schwarz.

Ortogonalitate: Interpreatarea geometric a produsului scalar n termeni de unghi i

lungime motiveaz mare parte din terminologia geometric folosit n ce privete

aceste spaii. ntr-adevr, o consecin imediat a inegalitii Cauchy-Schwarz este

c justific definirea unghiului ntre doi vectori nenuli x i y (cel puin n cazul F = R)
prin identitatea

Se presupune c valoarea unghiului este ales n intervalul [0, +]. Aceasta este analog
situaiei din spaiul euclidian cu 2 dimensiuni. Analog, spunem c doi vectori
nenulix, y din V sunt ortogonali dac i numai dac produsul lor scalar este zero.

Omogenitatea: pentru x un element din V i r un scalar

Demonstraia proprietii de omogenitate este trivial.

Inegalitatea triunghiului: pentru x, y din V

Ultimele dou proprieti arat c funcia definit este ntr-adevr norm.

Datorit inegalitii triunghiului i axiomei 2, vedem c |||| este o norm care
transform V ntr-un spaiu vectorial normat i astfel ntr-un spaiu metric. Cele mai
importante spaii cu produs scalar sunt cele care sunt complete n raport cu aceast metric;
acestea se numesc spaii Hilbert. Fiecare spaiu prehibertian V este un subspaiu dens al
unui spaiu Hilbert. Acest spaiu Hilbert este unic determinat de V i este construit prin
completarea lui V.

Legea paralelogramului:

Teorema lui Pitagora: Dac x, y sunt n V i <x, y>

= 0, atunci

Demonstraiile ambelor identiti necesit doar exprimarea definiiei normei n termeni de

produs real i simplificare, folosind proprietatea de aditivitate a fiecrei componente. Numele
de teorema lui Pitagora deriv din interpretarea geometric a rezultatului ca fiind analog cu
teorema din geometrie. Se observ c demonstraia teoremei lui Pitagora n geometrie este
considerabil mai elaborat datorit lipsei de structuri utile.
Prin inducie pe teorema lui Pitagora, rezult:

Dac x1, ..., xn sunt vectori ortogonali,

adic <xj, xk> = 0 pentru indici
diferii j, k, atunci

n lumina inegalitii Cauchy-Schwarz, observm i c <,> este continu din V V pe F.

Aceasta ne permite generalizarea teoremei lui Pitagora la infinit de muli termeni de sum:

Identitatea lui Parseval:

Presupunnd c V este un
spaiu prehilbertian complet,
dac {xk} sunt vectori
ortogonali doi cte doi din V,
atunci

dac seria infinit din stnga este convergent. Completitudinea spaiului este necesar
pentru a ne asigura c irul de sume pariale

care este cunoscut ca fiind ir Cauchy este convergent.

iruri ortonormale
Un sir {ek}k este ortonormal dac i numai dac este ortogonal i ek are norma 1. O baz
ortonormal ntr-un spaiu prehilbertian de dimensiune finit V este un ir ortonormal care
genereaz V. Aceast definiie a bazei ortonormale nu generalizeaz convenabil n cazul
dimensiunilor infinite, unde conceptul (corect formulat) are o importan major. Folosind norma
asociat cu produsul scalar, exist noiunea de submulime dens, i definiia corect pentru o baz
ortonormal este cea c spaiul generat de ea trebuie s fie dens.
Procedeul Gram-Schmidt este o metod canonic care pornete de la un ir liniar independent
{vk}k pe un spaiu prehilbertian i produce un ir ortonormal {ek}k astfel nct oricare ar fi n

Prin procedura de ortonormalizare Gram-Schmidt, se arat:

Teorem. Orice spaiu prehilbertian separabil V are o baz ortonormal.

Identitatea lui Parseval conduce imediat la urmtoarea teorem:

Teorem. Fie V un spaiu prehilbertian separabil i {ek}k o baz ortonormal a lui V. Atunci
aplicaia

este o aplicaie liniar izometric V l2 cu imaginea dens.

Aceast teorem poate fi privit ca o form abstract a seriilor Fourier, n care o baz
ortonormal arbitrar joac rolul seriei de polinoame trigonometrice. Se observ c
mulimea de indeci poate fi luat ca orice mulime numrabil. n particular, se obine
urmtorul rezultat din teoria seriilor Fourier:
Teorem. Fie V spaiul prehilbertian

. Atunci secvena (indexat pe mulimea

numerelor ntregi) de funcii continue

este o baz ortonormal a spaiului

cu L2 ca produs scalar. Aplicaia

este o aplicaie liniar izometric cu imaginea dens.

Ortogonalitatea irului {ek}k se deduce imediat din faptul c dac j k, atunci

irul este normal prin construcia lui, pentru c are coeficienii alei de aa
natur nct norma este 1. n cele din urm, faptul c irul genereaz un spaiu
dens, n norma produsului scalar, rezult din faptul c irul genereaz un
subspaiu dens n spaiul funciilor periodice continue definite pe

cu

norma uniform. Acesta este coninutul teoremei lui Weierstrass privind

densitatea uniform a polinoamelor trigonometrice.

Operatori n spaiile prehilbertiene

Unele tipuri de aplicaii liniare A dintr-un spaiu cu produs scalar V n alt spaiu cu produs
scalar W au relevan:

Aplicaii liniare continue, adic A este liniar i continu n raport cu metrica definit, sau
echivalent, A este liniar i mulimea realilor nenegativi {||Ax||}, unde x ia valori n bila unitate
nchis a lui V, este mrginit.

Operatori liniari simetrici, adic A este liniar i <Ax, y> = <x, A y> oricare ar fi x, y din V.

Izometrii, adic A este liniar i <Ax, Ay> = <x, y> pentru orice x, y din V, sau echivalent, A este
liniar i ||Ax|| = ||x|| pentru orice x din V. Toate izometriile sunt injective. Izometriile
sunt morfisme ntre spaii prehilbertiene, i morfismele spaiilor prehilbertiene reale sunt
transformri ortogonale.

Izomorfisme izometrice, adic A este o izometrie surjectiv (i deci bijectiv). Izomorfismele

izometrice sunt cunoscute i ca operatori unitari.

Din punctul de vedere al teoriei spaiilor cu produs scalar, nu este necesar distincia ntre dou
spaii izometric izomorfe. Teorema spectral furnizeaz o form caninic pentru operatorii normali
simetrici i unitari peste spaiile prehilbertiene finite. O generalizare a teoremei spectrale este
valabil pentru operatorii normali continui din spaiile Hilbert.