Nuprl Definition : rv-isometry
Isometry(f) == ∀[x,y:Point]. (||f x - f y|| = ||x - y||)
Definitions occuring in Statement :
rv-norm: ||x||,
rv-sub: x - y,
ss-point: Point,
req: x = y,
uall: ∀[x:A]. B[x],
apply: f a
Definitions occuring in definition :
rv-sub: x - y,
rv-norm: ||x||,
apply: f a,
req: x = y,
ss-point: Point,
uall: ∀[x:A]. B[x]
FDL editor aliases :
rv-isometry
Latex:
Isometry(f) == \mforall{}[x,y:Point]. (||f x - f y|| = ||x - y||)
Date html generated:
2016_11_08-AM-09_18_12
Last ObjectModification:
2016_11_02-PM-08_40_24
Theory : inner!product!spaces
Home
Index