Triangle

Mathlib.LinearAlgebra.AffineSpace.Simplex.Basic

URI: https://scilib.ai/kg/mathlib#Affine.Triangle

English

A triangle in this setting is the 2-simplex, i.e., Simplex k P 2.

Русский

Треугольник здесь означает 2-_SIMPLEX, то есть Simplex k P 2.

LaTeX

$$$\\text{Triangle} = \\text{Simplex } k P 2$$$

Lean4

/-- A `Triangle k P` is a collection of three affinely independent points. -/
abbrev Triangle :=
  Simplex k P 2

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru