数学において、ある種の形式的に実(けいしきてきにじつ、: fomally real)であるとは、以下の条件の何れかを満たすものを言う。

(R,+,0,×,1) が形式的に実であるとは:

  • R零元 0R の(任意有限個の)非零な平方元の和に書かれることは無い
  • R における(任意有限個の)平方元の和が −1 に等しいことは無い
  • 標数 2 でない R において、R の(任意有限個の)平方元の和に書くことのできない R の元が存在する。

よく知られた形式的に実な代数系として以下が挙げられる:

参考文献

編集
  • Milnor, John; Husemoller, Dale (1973). Symmetric bilinear forms. Springer. ISBN 3-540-06009-X 
  • Jacobson, N. (1968), Structure and representations of Jordan algebras, American Mathematical Society Colloquium Publications, 39, American Mathematical Society 
  • Faraut, J.; Koranyi, A. (1994), Analysis on symmetric cones, Oxford Mathematical Monographs, Oxford University Press, ISBN 0198534779