dim: F(U→V) e' spvt, rem: Operazioni punto a punto sulle funzioni.
rimane da dimostrare che
LF(U→V) il sottoinsieme delle fun lin e' un sotspvt.
rem: ⇔ e' chiuso rispetto alle op, e ∃ inverso additivo.
dim: sia g(x)=-f(x) e' l'opposta di f(x)
g(x+y) = -f(x+y) = -( f(x)+f(y) ) = -f(x) -f(y) = g(x)+g(y)
g(kx) = -f(kx) = -(kf(x)) = k(-f(x)) ) kg(x)
dim: 1) la somma di 2 fun additive e' additiva, se a valori in un semigruppo commutativo. Teo: gli endomorfismi di un gruppo commutativo sono un anello.
2) la somma di 2 funzioni omogenee e' omogenea.
dim:
(f+g)(kx)
f(kx) + g(kx) def somma di funzioni
kf(x) + kg(x) def f e g omogenee
k( f(x)+g(x) ) proprieta' prodotto esterno
k(f+g)(x) def somma di funzioni
esOf: Spazio funzionale delle funzioni da un insieme ad un altro.
orthogonal matrix a real matrix whose inverse equals its transpose
distance-preserving transformation on ℝn
matrice unitaria matrice quadrata complessa
inversa = trasposta-coniugata
Unitary matrices have significant importance in quantum mechanics because they preserve norms, and thus, probability amplitudes.
GL(V) | general linear group on V the group of linear automorphisms on vector space V |
GL(Rn) | General Linear group of Rn GL(n,R) GLn(R) the group of linear automorphisms on vector space Rn |
SL(Rn) | Special Linear group of Rn SL(n,R) SLn(R) The subgroup of trasformations with determinant 1 |
U(n) | unitary group of degree n
the Lie group of n × n unitary matrices |
SU(n) | special unitary group of degree n
wp the Lie group of n × n unitary matrices with determinant 1 SU(n) ⊆ U(n) ⊆ GL(ℂn) SU(n) groups find wide application in the Standard Model of particle physics, especially |
SU(2) | in the electroweak interaction |
SU(3) | in quantum chromodynamics |
O(n) | orthogonal group of degree n
the group of n × n orthogonal matrices |
SO(n) | special orthogonal group of degree n
the group of n × n orthogonal matrices with determinant 1 SO(n) ⊆ O(n) ⊆ GL(ℝn) |
SO(2) | rotations around a point on ℝ2 wp |
SO(3) | rotations around a line on ℝ3 wo |