Coplanar

Mathlib.LinearAlgebra.AffineSpace.FiniteDimensional

URI: https://scilib.ai/kg/mathlib#Coplanar

← MathLib Explorer

English

Coplanar is the property that the vector span has dimension at most 2.

Русский

Coplanar — свойство, что векторное span имеет размерность не более 2.

LaTeX

$$Coplanar(k,s) ⇔ \operatorname{rank}_k(\operatorname{vectorSpan}_k(s)) \le 2$$

Lean4

/-- A set of points is coplanar if their `vectorSpan` has dimension at most `2`. -/
def Coplanar (s : Set P) : Prop :=
  Module.rank k (vectorSpan k s) ≤ 2

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

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

Разделы

MathLib Explorer
Graph RAG
Лаборатория
Блог
О проекте
Команда

Аффилиация

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