Oración 1: sea ahora un x′ ∈ X ′ tal que x′∫ (xf ) = 0 p(a∫ra todo x ∈ X y )f ∈ S, esto es,∞ ( ) ∞ f(τ)x′ T (τ)x dτ = x′ f(τ)T (τ)x dτ = 0, ( 0 ) 0 de donde x′ T (τ)x = 0 para todo τ ∈ [0, ∞[
Oración 2: con τ = 0, x′(x) = 0 para todo x ∈ X, con lo cual x′ = 0
Conector: en particular,
Relación: entailment
Género: theses