Nuprl Definition : rv-isometry-group
Isom(rv) == mk-s-subgroup(Perm(rv);fg.Isometry(fst(fg)))
Definitions occuring in Statement :
rv-permutation-group: Perm(rv),
rv-isometry: Isometry(f),
mk-s-subgroup: mk-s-subgroup(sg;x.P[x]),
pi1: fst(t)
Definitions occuring in definition :
pi1: fst(t),
rv-isometry: Isometry(f),
rv-permutation-group: Perm(rv),
mk-s-subgroup: mk-s-subgroup(sg;x.P[x])
FDL editor aliases :
rv-isometry-group
Latex:
Isom(rv) == mk-s-subgroup(Perm(rv);fg.Isometry(fst(fg)))
Date html generated:
2016_11_08-AM-09_21_04
Last ObjectModification:
2016_11_03-AM-11_27_43
Theory : inner!product!spaces
Home
Index