Nuprl Definition : ip-triangle
Δ(a;b;c) == |a - b ⋅ c - b| < (||a - b|| * ||c - b||)
Definitions occuring in Statement :
rv-norm: ||x||,
rv-sub: x - y,
rv-ip: x ⋅ y,
rless: x < y,
rabs: |x|,
rmul: a * b
Definitions occuring in definition :
rless: x < y,
rabs: |x|,
rv-ip: x ⋅ y,
rmul: a * b,
rv-norm: ||x||,
rv-sub: x - y
FDL editor aliases :
ip-triangle
Latex:
\mDelta{}(a;b;c) == |a - b \mcdot{} c - b| < (||a - b|| * ||c - b||)
Date html generated:
2017_10_04-PM-11_57_52
Last ObjectModification:
2017_03_09-PM-02_03_13
Theory : inner!product!spaces
Home
Index