38

It seems to me that perpendicular, orthogonal and normal are all equivalent in two and three dimensions. I'm curious as to which situations you would want to use one term over the other in two and three dimensions.

Also... what about higher dimensions? It seems like perpendicular and normal would not have a nice meaning whereas orthogonal would as it is defined in terms of the dot product.

Can someone give me a detailed breakdown as to the differences in their meanings, their uses and the situations for which each should be used?

B flat
  • 792
  • 1
  • 6
  • 17
  • 4
    Orthogonal is likely the more general term. For example I can define orthogonality for functions and then state that various sin () and cos () functions are orthogonal. An orthogonal basis can be used to decompose something into independent components. For example, the Fourier transform decomposes a time domain function into weights of sines and cosines. A triple in 3D space is a decomposition of a vector in 3D space along 3 orthogonal basis vectors. – Andy Walls Aug 25 '17 at 22:27
  • 2
    @AndyWalls I tend to agree that “orthogonal” includes “perpendicular.” The zero vector is orthogonal to everything, but I don’t think that I’d call a zero-length vector “perpendicular” to anything. – amd Aug 25 '17 at 23:57
  • Don't forget when lines have unit spread ($\sin^2 \theta = 1$) also. – John Alexiou Aug 26 '17 at 01:07
  • @ja72 - I’m not sure what you mean. Can you explain? – B flat Aug 26 '17 at 01:09
  • And transverse, to add one. – Brian Cannard Apr 27 '20 at 01:12

8 Answers8

18

In two or three dimensions, I agree, perpendicular is more natural than orthogonal.

In higher dimensions, or if the dimension is represented by an unknown, both are correct, but I think orthogonal is preferable.

Here's an excerpt from Wikipedia (https://en.wikipedia.org/wiki/Orthogonality):

In mathematics, orthogonality is the generalization of the notion of perpendicularity to the linear algebra of bilinear forms.

Normal can be used in any dimension, but it usually means perpendicular to a curve or surface (of some dimension).

quasi
  • 58,772
  • The Wikipedia article for orthogonal matrix suggests that its vectors must also be normalized. This is confusing to me, because I thought this is what the term orthonormal is for. Can somebody help clarify? Or, fix the name on Wikipedia? https://en.wikipedia.org/wiki/Orthogonal_matrix – Aaron Franke Oct 14 '23 at 18:46
12

Excellent Question! The best way to understand the three (3) terms is in the context of the History of Mathematics. Additionally, the notion of Logical Equivalence is also useful in our understanding. Think of the various ways in which the Parallel Lines Axiom can be replaced by other Statements which turn out to be Logically Equivalent. So,

(1) Perpendicular is usually associated with "dropping a perpendicular from a point," and it only presupposes 2 Dimensions in the form of a Single Plane. And no Angularity (Angles) are assumed. For example, Given a Line (Horizontal) with 2 Congruent Circles intersecting at 2 Points) on it (the Centers lie on the Line), the line "Dropped" from the Top to the Bottom, forms a Perpendicular. Notice that nothing is said about Angles.

(2) Orthogonal Line is defined as a line with a Right Angle. And since all Right Angles are Equal (one of Euclid's Axioms) every Orthogonal Line implies 4 Rays from the point of intersection.

Notice that one can prove (probably, depending on who you are and which axioms you choose) that every Orthogonal is a Perpendicular, and every Perpendicular is an Orthogonal.

(3) The Normal is a Perpendicular to a Plane Tangent to a Surface. So at least three (3) Dimensions. Generalizing, every Pair of Dimensions produced a distinct "new' Plane, an for each a Normal may or can be Defined which lies in the "next" dimension of the given 2 - the restriction is that the Normal only has One Point common to the Plane it intersects, so it lies in the "other" Dimension than the 2 which it is Perpendicular or Orthogonal to. Any Ray from the Point to which the Normal is Defined forms a Plane, and in that Plane the Normal forms a Perpendicular which is also an Orthogonal. Adding Dimensions is merely adding new Panes wherein a new Perpendicular(s), Orthogonal(s), and Normal(s) are introduced.

Hope this answers your excellent question.

Joe DF
  • 103
  • So in short: perpendicular = orthogonal in reference to some other line in 2D, whereas a normal is in reference to a surface in 3D. – Angelorf Aug 06 '21 at 18:15
1

In linear algebra, "perpendicular" is mentioned for non zero vectors whereas "orthogonality" is for zero and non zero vectors. We say a zero vector is orthogonal to some vector, not perpendicular. "Normal" is perpendicular to every vector on the plane

bnr
  • 11
  • 1
0

Two sub-spaces F and G (from Euclidean space E finite dim) are perpendicular if they are orthogonal and sums to the whole space i.e F⊕G=E for example two lines are perpendicular in the plane (2D Space) but they are only orthogonal in the 3D space.

0

It is important to note that in computer graphics, orthogonal view implies the absence of perspective transforms.

0

Although I appreciate the accepted answer and it includes some interesting insight, right now I was reading Gilbert Strang's Linear Algebra and Learning from Data, and saw this in section I.5, page 29:

The word orthogonal appears everywhere in linear algebra. It means perpendicular. Its use extends far beyond the angle between two vectors.

So I guess, if we trust Gilbert Strang, that I personally do, they are the same, no difference at all.

arashka
  • 101
0

Two planes in 3-space are called perpendicular, if any one line in one plane is at right angles to all lines in the other plane. Those two planes share a a line.

But some lines in each of the perpendicular planes are not at right angles to certain lines in the other plane.

In 4-space, for two 2-dimensional planes through the origin to be orthogonal, means that all nonzero vectors in one plane are at right angles to all nonzero vectors in the other plane. Such planes intersect only at the origin.

In this usage, perpendicularity is just a weaker condition than orthogonality.

Steve White
  • 312
  • 2
  • 10
-3

Perpendicular lines may or may not touch each other. Orthogonal lines are perpendicular and touch each other at junction.

amWhy
  • 209,954