111
правок
Изменения
м
→Теорема Хита
Для того, чтобы <tex>(x, y, z)</tex> был в соеденении, необходимо, чтобы существовали кортежи <tex>(x, y) ∈ π_{XY}(R)</tex> и <tex>(x, z) ∈ π_{XZ}(R)</tex>
Из <tex>(x, z) ∈ π_{XZ}(R)</tex> следует, что существует кортеж <tex>(x, y', z) ∈ R</tex> для некоторого <tex>y'</tex>. Это означает, что должен существовать кортеж <tex>(x, y') ∈ π_{XY}(R)</tex>
Поскольку <tex>X → Y</tex>, существует единственный <tex>y: (x, y) ∈ π_{XY}(R) ⇒ y = y' ⇒ (x, y, z) ∈ R</tex>
