Producto interior en Espacio Complejo - Prueba

Al estudiar una introducción a los productos internos y los espacios complejos de Hermitan, me encontré atrapado para tratar con un ejemplo más que clásico de un producto interno.

El ejercicio completo es el siguiente:

Dejar V = C ( [ 0 , 1 ] ) , el espacio complejo de las funciones continuas : [ 0 , 1 ] C .

Demuestre que lo siguiente es un producto interno:

X , y = 0 1 F ( X ) gramo ( X ) ¯ d X

Ahora bien, si V se convierte en el espacio vectorial de las funciones acotadas y parcialmente continuas ( las funciones acotadas F : [ 0 , 1 ] C para el cual existe una sucesión finita 0 = a 0 < a 1 < < a norte = 0 con F continua en cada ( a i , a i + 1 ) ) ¿La forma superior sigue siendo un producto interior?

¿Necesito mostrar las propiedades del producto interno Hermitan? Si es así, ¿cómo procedo? No sé ni por dónde empezar con esto y parece un ejemplo elemental ya que en todas partes se usa simplemente como un producto interno y nunca se pide la prueba. Agradecería cualquier ayuda.

¿Dónde exactamente estás atrapado? ¿Es definición positiva o linealidad?
Sé que hay 3 cosas. El factor intercambiable, la linealidad y la definitud positiva. Ni siquiera sé cómo empezar ninguno de ellos, probablemente la definición positiva es la más fácil ya que la integral de un cuadrado perfecto siempre será mayor o igual a cero.
Repase las demostraciones correspondientes para C [ ( 0 , 1 ] ) y ver dónde exactamente podría haber una dificultad. cuando intenta extender estos argumentos a V . Reduce la dificultad tanto como puedas.
he demostrado que < F , F >= 0 F = 0 y eso < gramo , F ¯ >=< F , gramo > y < F , F >> 0 y < a F , gramo >= a < F , gramo > pero no puedo mostrar la linealidad con la adición.
¿Puedes mostrar esto en C ( [ 0 , 1 ] ) ? Si es así, ¿qué es diferente aquí?
No sé cómo mostrarlo.
Míralo. Probablemente esté en tu libro de texto. Luego verifique si esto se traslada a V .
Si pudiera encontrarlo en cualquier lugar, no estaría preguntando por aquí. Cada libro de texto menciona que la prueba se deja al lector.
< F + h , gramo >= ( F + h ) gramo ¯ = ( F gramo ¯ + h gramo ¯ ) = F gramo ¯ + h gramo ¯ =< F , gramo > + < h , gramo > , esto no es correcto?

Respuestas (1)

Si permite que las funciones en su espacio sean discontinuas incluso en un punto, entonces puede considerar la función F eso es 1 en tal punto, y 0 en todas partes en el intervalo. Entonces 0 1 | F | 2 d t = 0 a pesar de F no es idéntico 0 . Así que ese es el problema básico: no obtienes una definición positiva.

Perdón por no aceptar en primer lugar, solo revisé mis preguntas no revisadas y me aseguré de verificar las respuestas decentes.
@Rebellos: Está bien. Uso este sitio para tratar de agudizar mi mente y ayudar a otros con preguntas al mismo tiempo.