Nuprl Definition : separable-translation-group
separable-translation-group(rv;e;T) == translation-group-fun(rv;e;T) ∧ separable-kernel(rv;e;λh,t. ρ(h;t))
Definitions occuring in Statement :
separable-kernel: separable-kernel(rv;e;f),
trans-kernel: ρ(h;t),
translation-group-fun: translation-group-fun(rv;e;T),
and: P ∧ Q,
lambda: λx.A[x]
Definitions occuring in definition :
and: P ∧ Q,
translation-group-fun: translation-group-fun(rv;e;T),
separable-kernel: separable-kernel(rv;e;f),
lambda: λx.A[x],
trans-kernel: ρ(h;t)
FDL editor aliases :
separable-translation-group
Latex:
separable-translation-group(rv;e;T) ==
translation-group-fun(rv;e;T) \mwedge{} separable-kernel(rv;e;\mlambda{}h,t. \mrho{}(h;t))
Date html generated:
2017_10_05-AM-00_25_55
Last ObjectModification:
2017_07_01-PM-10_23_01
Theory : inner!product!spaces
Home
Index