Orthogonal projection of point onto line/plane
$begingroup$
Upon looking through the definitions of different types of projections in $mathbb{R}^3$, I stumbled upon the definition of orthogonal projection of a point onto a line/plane. The textbook gives the following statement but does not provide a proof of it: given a point $P$ and a line or plane $ltext{/}pi$ there exists exactly one point $P^{prime}in ltext{/}pi$ such that $vec{PP^{prime}}$ is orthogonal to $ltext{/}pi$.
If anyone could provide a proof of the statement or an outline of one, it'd be much appreciated.
linear-algebra
$endgroup$
add a comment |
$begingroup$
Upon looking through the definitions of different types of projections in $mathbb{R}^3$, I stumbled upon the definition of orthogonal projection of a point onto a line/plane. The textbook gives the following statement but does not provide a proof of it: given a point $P$ and a line or plane $ltext{/}pi$ there exists exactly one point $P^{prime}in ltext{/}pi$ such that $vec{PP^{prime}}$ is orthogonal to $ltext{/}pi$.
If anyone could provide a proof of the statement or an outline of one, it'd be much appreciated.
linear-algebra
$endgroup$
1
$begingroup$
If you could provide full context, or enough context, it'd be much appreciated. Please read How to ask a good question, and then edit your post to improve it.
$endgroup$
– amWhy
Dec 25 '18 at 18:14
1
$begingroup$
Using translation, WLOG we can assume the line or the plane provided is a closed subspace. Then we can apply the Hilbert projection theorem (see the proof in Wikipedia) to obtain the desired result.
$endgroup$
– Alex Vong
Dec 25 '18 at 20:02
$begingroup$
@AlexVong It seems like the proof you provided lies beyond the scope of the course I'm taking. It's an introductory course to linear algebra. Do you know of some proof that falls within those boundaries?
$endgroup$
– S. Doe
Dec 27 '18 at 16:25
$begingroup$
@S.Doe Which vector space are you working in? Is it $mathbb{R}^2, mathbb{R}^3, mathbb{R}^n$ or $mathbb{C}^n$?
$endgroup$
– Alex Vong
Dec 27 '18 at 20:35
$begingroup$
@AlexVong $mathbb{R}^3$. I'll add that to my question.
$endgroup$
– S. Doe
Dec 27 '18 at 21:09
add a comment |
$begingroup$
Upon looking through the definitions of different types of projections in $mathbb{R}^3$, I stumbled upon the definition of orthogonal projection of a point onto a line/plane. The textbook gives the following statement but does not provide a proof of it: given a point $P$ and a line or plane $ltext{/}pi$ there exists exactly one point $P^{prime}in ltext{/}pi$ such that $vec{PP^{prime}}$ is orthogonal to $ltext{/}pi$.
If anyone could provide a proof of the statement or an outline of one, it'd be much appreciated.
linear-algebra
$endgroup$
Upon looking through the definitions of different types of projections in $mathbb{R}^3$, I stumbled upon the definition of orthogonal projection of a point onto a line/plane. The textbook gives the following statement but does not provide a proof of it: given a point $P$ and a line or plane $ltext{/}pi$ there exists exactly one point $P^{prime}in ltext{/}pi$ such that $vec{PP^{prime}}$ is orthogonal to $ltext{/}pi$.
If anyone could provide a proof of the statement or an outline of one, it'd be much appreciated.
linear-algebra
linear-algebra
edited Dec 28 '18 at 8:06
S. Doe
asked Dec 25 '18 at 18:06
S. DoeS. Doe
62
62
1
$begingroup$
If you could provide full context, or enough context, it'd be much appreciated. Please read How to ask a good question, and then edit your post to improve it.
$endgroup$
– amWhy
Dec 25 '18 at 18:14
1
$begingroup$
Using translation, WLOG we can assume the line or the plane provided is a closed subspace. Then we can apply the Hilbert projection theorem (see the proof in Wikipedia) to obtain the desired result.
$endgroup$
– Alex Vong
Dec 25 '18 at 20:02
$begingroup$
@AlexVong It seems like the proof you provided lies beyond the scope of the course I'm taking. It's an introductory course to linear algebra. Do you know of some proof that falls within those boundaries?
$endgroup$
– S. Doe
Dec 27 '18 at 16:25
$begingroup$
@S.Doe Which vector space are you working in? Is it $mathbb{R}^2, mathbb{R}^3, mathbb{R}^n$ or $mathbb{C}^n$?
$endgroup$
– Alex Vong
Dec 27 '18 at 20:35
$begingroup$
@AlexVong $mathbb{R}^3$. I'll add that to my question.
$endgroup$
– S. Doe
Dec 27 '18 at 21:09
add a comment |
1
$begingroup$
If you could provide full context, or enough context, it'd be much appreciated. Please read How to ask a good question, and then edit your post to improve it.
$endgroup$
– amWhy
Dec 25 '18 at 18:14
1
$begingroup$
Using translation, WLOG we can assume the line or the plane provided is a closed subspace. Then we can apply the Hilbert projection theorem (see the proof in Wikipedia) to obtain the desired result.
$endgroup$
– Alex Vong
Dec 25 '18 at 20:02
$begingroup$
@AlexVong It seems like the proof you provided lies beyond the scope of the course I'm taking. It's an introductory course to linear algebra. Do you know of some proof that falls within those boundaries?
$endgroup$
– S. Doe
Dec 27 '18 at 16:25
$begingroup$
@S.Doe Which vector space are you working in? Is it $mathbb{R}^2, mathbb{R}^3, mathbb{R}^n$ or $mathbb{C}^n$?
$endgroup$
– Alex Vong
Dec 27 '18 at 20:35
$begingroup$
@AlexVong $mathbb{R}^3$. I'll add that to my question.
$endgroup$
– S. Doe
Dec 27 '18 at 21:09
1
1
$begingroup$
If you could provide full context, or enough context, it'd be much appreciated. Please read How to ask a good question, and then edit your post to improve it.
$endgroup$
– amWhy
Dec 25 '18 at 18:14
$begingroup$
If you could provide full context, or enough context, it'd be much appreciated. Please read How to ask a good question, and then edit your post to improve it.
$endgroup$
– amWhy
Dec 25 '18 at 18:14
1
1
$begingroup$
Using translation, WLOG we can assume the line or the plane provided is a closed subspace. Then we can apply the Hilbert projection theorem (see the proof in Wikipedia) to obtain the desired result.
$endgroup$
– Alex Vong
Dec 25 '18 at 20:02
$begingroup$
Using translation, WLOG we can assume the line or the plane provided is a closed subspace. Then we can apply the Hilbert projection theorem (see the proof in Wikipedia) to obtain the desired result.
$endgroup$
– Alex Vong
Dec 25 '18 at 20:02
$begingroup$
@AlexVong It seems like the proof you provided lies beyond the scope of the course I'm taking. It's an introductory course to linear algebra. Do you know of some proof that falls within those boundaries?
$endgroup$
– S. Doe
Dec 27 '18 at 16:25
$begingroup$
@AlexVong It seems like the proof you provided lies beyond the scope of the course I'm taking. It's an introductory course to linear algebra. Do you know of some proof that falls within those boundaries?
$endgroup$
– S. Doe
Dec 27 '18 at 16:25
$begingroup$
@S.Doe Which vector space are you working in? Is it $mathbb{R}^2, mathbb{R}^3, mathbb{R}^n$ or $mathbb{C}^n$?
$endgroup$
– Alex Vong
Dec 27 '18 at 20:35
$begingroup$
@S.Doe Which vector space are you working in? Is it $mathbb{R}^2, mathbb{R}^3, mathbb{R}^n$ or $mathbb{C}^n$?
$endgroup$
– Alex Vong
Dec 27 '18 at 20:35
$begingroup$
@AlexVong $mathbb{R}^3$. I'll add that to my question.
$endgroup$
– S. Doe
Dec 27 '18 at 21:09
$begingroup$
@AlexVong $mathbb{R}^3$. I'll add that to my question.
$endgroup$
– S. Doe
Dec 27 '18 at 21:09
add a comment |
0
active
oldest
votes
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3052319%2forthogonal-projection-of-point-onto-line-plane%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3052319%2forthogonal-projection-of-point-onto-line-plane%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
$begingroup$
If you could provide full context, or enough context, it'd be much appreciated. Please read How to ask a good question, and then edit your post to improve it.
$endgroup$
– amWhy
Dec 25 '18 at 18:14
1
$begingroup$
Using translation, WLOG we can assume the line or the plane provided is a closed subspace. Then we can apply the Hilbert projection theorem (see the proof in Wikipedia) to obtain the desired result.
$endgroup$
– Alex Vong
Dec 25 '18 at 20:02
$begingroup$
@AlexVong It seems like the proof you provided lies beyond the scope of the course I'm taking. It's an introductory course to linear algebra. Do you know of some proof that falls within those boundaries?
$endgroup$
– S. Doe
Dec 27 '18 at 16:25
$begingroup$
@S.Doe Which vector space are you working in? Is it $mathbb{R}^2, mathbb{R}^3, mathbb{R}^n$ or $mathbb{C}^n$?
$endgroup$
– Alex Vong
Dec 27 '18 at 20:35
$begingroup$
@AlexVong $mathbb{R}^3$. I'll add that to my question.
$endgroup$
– S. Doe
Dec 27 '18 at 21:09