fundam-1
fundam-1
fundam-1
de la mecánica cuántica
Sergio Grillo
Mayo 2023
2 El formalismo alternativo.
2 El formalismo alternativo.
3 La comparación.
Preparaciones = Estados:
Preparaciones = Estados:
Procurar que la pelotita tenga masa m (fija).
Preparaciones = Estados:
Procurar que la pelotita tenga masa m (fija).
Ejercer sobre ella una fuerza F (fija).
Preparaciones = Estados:
Procurar que la pelotita tenga masa m (fija).
Ejercer sobre ella una fuerza F (fija).
Hacer que a t = 0 su posición y velocidad estén dadas por algún par
(r, v) ∈ R3 × R3 (variable).
Preparaciones = Estados:
Procurar que la pelotita tenga masa m (fija).
Ejercer sobre ella una fuerza F (fija).
Hacer que a t = 0 su posición y velocidad estén dadas por algún par
(r, v) ∈ R3 × R3 (variable).
Las preparaciones estarían entonces en biyección con R3 × R3 .
Preparaciones = Estados:
Procurar que la pelotita tenga masa m (fija).
Ejercer sobre ella una fuerza F (fija).
Hacer que a t = 0 su posición y velocidad estén dadas por algún par
(r, v) ∈ R3 × R3 (variable).
Las preparaciones estarían entonces en biyección con R3 × R3 .
Mediciones:
Preparaciones = Estados:
Procurar que la pelotita tenga masa m (fija).
Ejercer sobre ella una fuerza F (fija).
Hacer que a t = 0 su posición y velocidad estén dadas por algún par
(r, v) ∈ R3 × R3 (variable).
Las preparaciones estarían entonces en biyección con R3 × R3 .
Mediciones:
Operaciones de laboratorio asociadas a funciones suaves
f : R3 × R3 → R,
Preparaciones = Estados:
Procurar que la pelotita tenga masa m (fija).
Ejercer sobre ella una fuerza F (fija).
Hacer que a t = 0 su posición y velocidad estén dadas por algún par
(r, v) ∈ R3 × R3 (variable).
Las preparaciones estarían entonces en biyección con R3 × R3 .
Mediciones:
Operaciones de laboratorio asociadas a funciones suaves
f : R3 × R3 → R, las cuales definen los observables: Of ≃ Imf .
R3 × R3
W
F = × Imf .
| {z } | f {z }
preparaciones mediciones
R3 × R3
W
F = × Imf .
| {z } | f {z }
preparaciones mediciones
R3 × R3 × Of = graf (f ) .
R∩
R3 × R3
W
F = × Imf .
| {z } | f {z }
preparaciones mediciones
R3 × R3 × Of = graf (f ) .
R∩
R3 × R3
W
F = × Imf .
| {z } | f {z }
preparaciones mediciones
R3 × R3 × Of = graf (f ) .
R∩
Preparaciones = Estados:
Preparaciones = Estados:
Procurar que la pelotita tenga masa m (fija).
Preparaciones = Estados:
Procurar que la pelotita tenga masa m (fija).
Ejercer sobre ella una fuerza F (fija).
Preparaciones = Estados:
Procurar que la pelotita tenga masa m (fija).
Ejercer sobre ella una fuerza F (fija).
Hacer que a t = 0 su posición y velocidad pertenezcan a cada
subconjunto (de Borel) Ω ⊆ R3 × R3 con probabilidad µ (Ω), dada por
una medida µ (variable).
Preparaciones = Estados:
Procurar que la pelotita tenga masa m (fija).
Ejercer sobre ella una fuerza F (fija).
Hacer que a t = 0 su posición y velocidad pertenezcan a cada
subconjunto (de Borel) Ω ⊆ R3 × R3 con probabilidad µ (Ω), dada por
una medida µ (variable).
Las preparaciones estarían en biyección con medidas M R3 × R3 .
Preparaciones = Estados:
Procurar que la pelotita tenga masa m (fija).
Ejercer sobre ella una fuerza F (fija).
Hacer que a t = 0 su posición y velocidad pertenezcan a cada
subconjunto (de Borel) Ω ⊆ R3 × R3 con probabilidad µ (Ω), dada por
una medida µ (variable).
Las preparaciones estarían en biyección con medidas M R3 × R3 .
Mediciones:
Preparaciones = Estados:
Procurar que la pelotita tenga masa m (fija).
Ejercer sobre ella una fuerza F (fija).
Hacer que a t = 0 su posición y velocidad pertenezcan a cada
subconjunto (de Borel) Ω ⊆ R3 × R3 con probabilidad µ (Ω), dada por
una medida µ (variable).
Las preparaciones estarían en biyección con medidas M R3 × R3 .
Mediciones:
Operaciones de laboratorio asociadas a funciones medibles
f : R3 × R3 → R,
Preparaciones = Estados:
Procurar que la pelotita tenga masa m (fija).
Ejercer sobre ella una fuerza F (fija).
Hacer que a t = 0 su posición y velocidad pertenezcan a cada
subconjunto (de Borel) Ω ⊆ R3 × R3 con probabilidad µ (Ω), dada por
una medida µ (variable).
Las preparaciones estarían en biyección con medidas M R3 × R3 .
Mediciones:
Operaciones de laboratorio asociadas a funciones medibles
f : R3 × R3 → R, las cuales definen los observables: Of ≃ Imf .
F = M R3 × R3 ×
W
Imf .
| {z } | f {z }
preparaciones mediciones
F = M R3 × R3 ×
W
Imf .
| {z } | f {z }
preparaciones mediciones
R ∩ M R3 × R3 × Of
F = M R3 × R3 ×
W
Imf .
| {z } | f {z }
preparaciones mediciones
R ∩ M R3 × R3 × Of
F = M R3 × R3 ×
W
Imf .
| {z } | f {z }
preparaciones mediciones
R ∩ M R3 × R3 × Of
F = M R3 × R3 ×
W
Imf .
| {z } | f {z }
preparaciones mediciones
R ∩ M R3 × R3 × Of
F = M R3 × R3 ×
W
Imf .
| {z } | f {z }
preparaciones mediciones
R ∩ M R3 × R3 × Of
Nota. Si µ = δ(r,v) ,
F = M R3 × R3 ×
W
Imf .
| {z } | f {z }
preparaciones mediciones
R ∩ M R3 × R3 × Of
Estados:
(Se puede ver que esto asegura 4). Los vectores v ∈ H de norma 1 definen
estados (llamados simples),
(Se puede ver que esto asegura 4). Los vectores v ∈ H de norma 1 definen
estados (llamados simples), dados por
ρv (w ) = ⟨v , w ⟩ · v .
(Se puede ver que esto asegura 4). Los vectores v ∈ H de norma 1 definen
estados (llamados simples), dados por
ρv (w ) = ⟨v , w ⟩ · v .
De hecho,
(Se puede ver que esto asegura 4). Los vectores v ∈ H de norma 1 definen
estados (llamados simples), dados por
ρv (w ) = ⟨v , w ⟩ · v .
De hecho,
Observables:
(Se puede ver que esto asegura 4). Los vectores v ∈ H de norma 1 definen
estados (llamados simples), dados por
ρv (w ) = ⟨v , w ⟩ · v .
De hecho,
(Se puede ver que esto asegura 4). Los vectores v ∈ H de norma 1 definen
estados (llamados simples), dados por
ρv (w ) = ⟨v , w ⟩ · v .
De hecho,
(Se puede ver que esto asegura 4). Los vectores v ∈ H de norma 1 definen
estados (llamados simples), dados por
ρv (w ) = ⟨v , w ⟩ · v .
De hecho,
(Se puede ver que esto asegura 4). Los vectores v ∈ H de norma 1 definen
estados (llamados simples), dados por
ρv (w ) = ⟨v , w ⟩ · v .
De hecho,
Pv : U ∈ B (R) 7→ ⟨v , PU (v )⟩ ∈ R
es una medida,
Pv : U ∈ B (R) 7→ ⟨v , PU (v )⟩ ∈ R
R
es una medida, y vale que ⟨v , O (v )⟩ = λ Pv .
Pv : U ∈ B (R) 7→ ⟨v , PU (v )⟩ ∈ R
R
es una medida, y vale que ⟨v , O (v )⟩ = λ Pv . Esto suele escribirse
Z
O = λ P.
Pv : U ∈ B (R) 7→ ⟨v , PU (v )⟩ ∈ R
R
es una medida, y vale que ⟨v , O (v )⟩ = λ Pv . Esto suele escribirse
Z
O = λ P.
¿Qué pasa con los puntos 1 y 2 de arriba? Se puede ver que el valor medio
de O en ρ es
⟨O⟩ρ = tr (ρ O) ,
¿Qué pasa con los puntos 1 y 2 de arriba? Se puede ver que el valor medio
de O en ρ es
⟨O⟩ρ = tr (ρ O) ,
y en un estado simple v es
⟨O⟩v = ⟨v , O (v )⟩ .
1 2
∆ρ O12 · ∆ρ O22 ≥ ⟨C ⟩ρ .
4
1 2
∆ρ O12 · ∆ρ O22 ≥ ⟨C ⟩ρ .
4
Luego, si C = c Id con c ̸= 0,
1 2
∆ρ O12 · ∆ρ O22 ≥ ⟨C ⟩ρ .
4
Luego, si C = c Id con c ̸= 0,
1
∆ρ O12 · ∆ρ O22 ≥ |c|2 > 0.
4
1 2
∆ρ O12 · ∆ρ O22 ≥ ⟨C ⟩ρ .
4
Luego, si C = c Id con c ̸= 0,
1
∆ρ O12 · ∆ρ O22 ≥ |c|2 > 0.
4
En todo espacio de Hilbert existen operadores como los de arriba.
1 2
∆ρ O12 · ∆ρ O22 ≥ ⟨C ⟩ρ .
4
Luego, si C = c Id con c ̸= 0,
1
∆ρ O12 · ∆ρ O22 ≥ |c|2 > 0.
4
En todo espacio de Hilbert existen operadores como los de arriba. Esto
asegura los puntos 1 y 2.