|
metric_spaces_def[T:TYPE+,d:[T,T->nnreal]]: THEORY
BEGIN
S: VAR set[T]
space_zero?(S) :bool = FORALL (x,y:(S)): d(x,y) = 0 IFF x = y
space_symmetric?(S):bool = FORALL (x,y:(S)): d(x,y) = d(y,x)
space_triangle?(S) :bool = FORALL (x,y,z:(S)): d(x,z) <= d(x,y) + d(y,z)
metric_space?(S):bool
= space_zero?(S) AND space_symmetric?(S) AND space_triangle?(S)
END metric_spaces_def
¤ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
