Extensão auto-adjunta de operadores Conceito