Relationship of Perpendicularity
Relationship between two lines that form a right angle or between two orthogonal planes.
Properties
- The relationship on the set of lines in the plane is symmetric, but it is neither reflexive nor transitive.
- It is symmetric : if ℓ[latex]_{1}[/latex] ⊥ ℓ[latex]_{2}[/latex], then ℓ[latex]_{2}[/latex] ⊥ ℓ[latex]_{1}[/latex].
- It is not reflexive : a line ℓ cannot be perpendicular to itself.
- It is not transitive : if ℓ[latex]_{1}[/latex] ⊥ ℓ[latex]_{2}[/latex] and ℓ[latex]_{2}[/latex] ⊥ ℓ[latex]_{3}[/latex], then ℓ[latex]_{1}[/latex] // ℓ[latex]_{3}[/latex].
Symbol
The symbol for the relationship of perpendicularity is "⊥" which means "is perpendicular to".Example
- Line ℓ[latex]_{1}[/latex] is perpendicular to line ℓ[latex]_{2}[/latex].
