Espaço de Hilbert

espaço com produto interno que é metricamente completo; um espaço de Banach cuja norma induz um produto interno (respeita a identidade do paralelogramo)

Na matemática, um espaço de Hilbert é uma generalização do espaço euclidiano que não precisa estar restrita a um número finito de dimensões.

É um espaço vetorial dotado de produto interno, ou seja, com noções de distância e ângulos. Esse espaço obedece uma relação de completude, que garante que os limites existem quando esperados, o que permite e facilita diversas definições da Análise. Os espaços de Hilbert permitem que, de certa maneira, noções intuitivas sejam aplicadas em espaços funcionais. Por exemplo, com eles podemos generalizar os conceitos de séries de Fourier em termos de polinômios ortogonais. Os espaços de Hilbert são de importância crucial para a Mecânica Quântica.

Espaços de Hilbert foram criados por David Hilbert, que os estudou no contexto de equações integrais. John von Neumann criou a nomenclatura "der abstrakte Hilbertsche Raum" em seu famoso trabalho em operadores Hermitianos não limitados, publicado em 1929. Talvez, John Von Neumann seja o matemático que melhor reconheceu a importância desse trabalho original.

Os elementos de espaço de Hilbert abstratos são chamados vetores. Em aplicações, eles são tipicamente sequências de números complexos ou funções. Em Mecânica Quântica, por exemplo, um sistema físico é descrito por um espaço de Hilbert complexo que contém os vetores de estado, que contém todas as informações do sistema e complexidades multifocais.

DefiniçãoEditar

Seja   um espaço vetorial sobre um corpo   ( Reais ou Complexos) e   um produto interno, então   é um espaço de Hilbert se for completo (espaço de Banach) com a norma induzida pelo produto interno[1], isto é:

 

Norma induzida pelo produto internoEditar

[2] Seja E um espaço vetorial sobre um corpo  , com produto interno. A função   definida como:

 

é uma norma em E :

Demonstração: Vamos verificar as propriedades da norma. Note que as três primeiras propriedades seguem diretamente das propriedades do produto interno:

(N1)  :

(N2)  

(N3)  , para  

Vamos mostrar a quarta propriedade da norma, a desigualdade triangular:

(N4)  

 

 

 

 

Pela desigualdade de Cauchy-Schwartz temos:

 

 

 

Logo   é uma norma.  

Lei do ParalelogramoEditar

Vimos que todo produto interno pode induzir uma norma, no entanto fica a pergunta: "Toda norma é induzida por um produto interno?"

A contrapositiva da proposição que segue nos permite verificar se uma norma é induzida por um produto interno.

Proposição [2]Editar

Seja   um espaço vetorial com produto interno, então a norma induzida pelo produto interno satisfaz a Lei do Paralelogramo:


 


Demonstração:

 

Somando as equaçôes do sistema acima obtemos a Lei do Paralelogramo  

BibliografiaEditar

  1. Botelho, Geraldo. Fundamentos de Análise Funcional, 2a edição, Rio de Janeiro, 2015, Sociedade Brasileira de Matemática (SBM);
  2. Coelho, Flávio Ulhoa. Um Curso de Álgebra Linear, 2a edição, São Paulo, 2013, Editora da Universidade de São Paulo (EDUSP);
  3. Kreyzig, Erwin. Introductory Functional Analysis with Applications, 1978.
  Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.
  1. Botelho, Geraldo (2015). Fundamentos de Análise Funcional. Rio de Janeiro: Sociedade Brasileira de Matematica (SBM 
  2. a b Kreyzig, Erwin (1978). Introductory Functional Analysis with Applications. [S.l.: s.n.]