Silly question about the definition of Sum of Subspaces

Multi tool use
Multi tool use

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
0
down vote

favorite













Definition: Let $mathcalV$ be a vector space over the field $mathbbR$ and $mathcalU$ and $mathcalW$ subspaces of $mathcalV$.



The set:



$$mathcalU+mathcalW := u boxplus w : uin mathcalU,win mathcalW $$



Is called the SUM of subspaces $mathcalU$ and $mathcalW$.




My question is, obviously the element $u boxplus w$ have a notion of sum given by the definition of $boxplus$. But before we prove if the SUM is indeed a subspace of $mathcalV$, the binary operation $boxplus$ is the operation defined in $mathcalV$? I mean $u boxplus w equiv u boxplus_mathcalV w$ ?



(*) The symbol $boxplus$ is the vector adition. And the other symbol $boxplus_mathcalV$ is the vector adition defined specifically in the vector space $mathcalV$










share|cite|improve this question



















  • 4




    What is $boxplus$? If not provided, then we cannot know.
    – xbh
    Sep 2 at 9:19











  • Is a notion of vector adition. But I don't know if is the same notion of vector adition defined in $mathcalV$.
    – Jack Clerk
    Sep 2 at 9:21






  • 1




    You are right. The addition is just the addition on $V$.
    – James
    Sep 2 at 9:22






  • 1




    @JackClerk Actually I don't know, cause symbols without clarification could mean anything. But I may guess this is just the addition on $V$ [but I cannot say for sure, maybe check your textbook].
    – xbh
    Sep 2 at 9:23






  • 1




    Just the addition of vectors in $V$. Well-defined since $U$ and $W$ are subspaces of $V$.
    – Wuestenfux
    Sep 2 at 9:27














up vote
0
down vote

favorite













Definition: Let $mathcalV$ be a vector space over the field $mathbbR$ and $mathcalU$ and $mathcalW$ subspaces of $mathcalV$.



The set:



$$mathcalU+mathcalW := u boxplus w : uin mathcalU,win mathcalW $$



Is called the SUM of subspaces $mathcalU$ and $mathcalW$.




My question is, obviously the element $u boxplus w$ have a notion of sum given by the definition of $boxplus$. But before we prove if the SUM is indeed a subspace of $mathcalV$, the binary operation $boxplus$ is the operation defined in $mathcalV$? I mean $u boxplus w equiv u boxplus_mathcalV w$ ?



(*) The symbol $boxplus$ is the vector adition. And the other symbol $boxplus_mathcalV$ is the vector adition defined specifically in the vector space $mathcalV$










share|cite|improve this question



















  • 4




    What is $boxplus$? If not provided, then we cannot know.
    – xbh
    Sep 2 at 9:19











  • Is a notion of vector adition. But I don't know if is the same notion of vector adition defined in $mathcalV$.
    – Jack Clerk
    Sep 2 at 9:21






  • 1




    You are right. The addition is just the addition on $V$.
    – James
    Sep 2 at 9:22






  • 1




    @JackClerk Actually I don't know, cause symbols without clarification could mean anything. But I may guess this is just the addition on $V$ [but I cannot say for sure, maybe check your textbook].
    – xbh
    Sep 2 at 9:23






  • 1




    Just the addition of vectors in $V$. Well-defined since $U$ and $W$ are subspaces of $V$.
    – Wuestenfux
    Sep 2 at 9:27












up vote
0
down vote

favorite









up vote
0
down vote

favorite












Definition: Let $mathcalV$ be a vector space over the field $mathbbR$ and $mathcalU$ and $mathcalW$ subspaces of $mathcalV$.



The set:



$$mathcalU+mathcalW := u boxplus w : uin mathcalU,win mathcalW $$



Is called the SUM of subspaces $mathcalU$ and $mathcalW$.




My question is, obviously the element $u boxplus w$ have a notion of sum given by the definition of $boxplus$. But before we prove if the SUM is indeed a subspace of $mathcalV$, the binary operation $boxplus$ is the operation defined in $mathcalV$? I mean $u boxplus w equiv u boxplus_mathcalV w$ ?



(*) The symbol $boxplus$ is the vector adition. And the other symbol $boxplus_mathcalV$ is the vector adition defined specifically in the vector space $mathcalV$










share|cite|improve this question
















Definition: Let $mathcalV$ be a vector space over the field $mathbbR$ and $mathcalU$ and $mathcalW$ subspaces of $mathcalV$.



The set:



$$mathcalU+mathcalW := u boxplus w : uin mathcalU,win mathcalW $$



Is called the SUM of subspaces $mathcalU$ and $mathcalW$.




My question is, obviously the element $u boxplus w$ have a notion of sum given by the definition of $boxplus$. But before we prove if the SUM is indeed a subspace of $mathcalV$, the binary operation $boxplus$ is the operation defined in $mathcalV$? I mean $u boxplus w equiv u boxplus_mathcalV w$ ?



(*) The symbol $boxplus$ is the vector adition. And the other symbol $boxplus_mathcalV$ is the vector adition defined specifically in the vector space $mathcalV$







linear-algebra abstract-algebra






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Sep 2 at 9:27

























asked Sep 2 at 9:17









Jack Clerk

707




707







  • 4




    What is $boxplus$? If not provided, then we cannot know.
    – xbh
    Sep 2 at 9:19











  • Is a notion of vector adition. But I don't know if is the same notion of vector adition defined in $mathcalV$.
    – Jack Clerk
    Sep 2 at 9:21






  • 1




    You are right. The addition is just the addition on $V$.
    – James
    Sep 2 at 9:22






  • 1




    @JackClerk Actually I don't know, cause symbols without clarification could mean anything. But I may guess this is just the addition on $V$ [but I cannot say for sure, maybe check your textbook].
    – xbh
    Sep 2 at 9:23






  • 1




    Just the addition of vectors in $V$. Well-defined since $U$ and $W$ are subspaces of $V$.
    – Wuestenfux
    Sep 2 at 9:27












  • 4




    What is $boxplus$? If not provided, then we cannot know.
    – xbh
    Sep 2 at 9:19











  • Is a notion of vector adition. But I don't know if is the same notion of vector adition defined in $mathcalV$.
    – Jack Clerk
    Sep 2 at 9:21






  • 1




    You are right. The addition is just the addition on $V$.
    – James
    Sep 2 at 9:22






  • 1




    @JackClerk Actually I don't know, cause symbols without clarification could mean anything. But I may guess this is just the addition on $V$ [but I cannot say for sure, maybe check your textbook].
    – xbh
    Sep 2 at 9:23






  • 1




    Just the addition of vectors in $V$. Well-defined since $U$ and $W$ are subspaces of $V$.
    – Wuestenfux
    Sep 2 at 9:27







4




4




What is $boxplus$? If not provided, then we cannot know.
– xbh
Sep 2 at 9:19





What is $boxplus$? If not provided, then we cannot know.
– xbh
Sep 2 at 9:19













Is a notion of vector adition. But I don't know if is the same notion of vector adition defined in $mathcalV$.
– Jack Clerk
Sep 2 at 9:21




Is a notion of vector adition. But I don't know if is the same notion of vector adition defined in $mathcalV$.
– Jack Clerk
Sep 2 at 9:21




1




1




You are right. The addition is just the addition on $V$.
– James
Sep 2 at 9:22




You are right. The addition is just the addition on $V$.
– James
Sep 2 at 9:22




1




1




@JackClerk Actually I don't know, cause symbols without clarification could mean anything. But I may guess this is just the addition on $V$ [but I cannot say for sure, maybe check your textbook].
– xbh
Sep 2 at 9:23




@JackClerk Actually I don't know, cause symbols without clarification could mean anything. But I may guess this is just the addition on $V$ [but I cannot say for sure, maybe check your textbook].
– xbh
Sep 2 at 9:23




1




1




Just the addition of vectors in $V$. Well-defined since $U$ and $W$ are subspaces of $V$.
– Wuestenfux
Sep 2 at 9:27




Just the addition of vectors in $V$. Well-defined since $U$ and $W$ are subspaces of $V$.
– Wuestenfux
Sep 2 at 9:27















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',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);













 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2902526%2fsilly-question-about-the-definition-of-sum-of-subspaces%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes















 

draft saved


draft discarded















































 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2902526%2fsilly-question-about-the-definition-of-sum-of-subspaces%23new-answer', 'question_page');

);

Post as a guest













































































HTsr FfA0FlVhUZF9FjbnM Sz4I I,iLQdH32QQHyvzs kkbRdtb,ngd
wW0yM3bRzmk9nmOjBmseKjlPZih0d2AJAKT4O8 z Gg6kxH2 nEKFUM510uC XWzuTRyozRqWxn2DeFXTPh,O,B zhYMVYE5k,8 KXHVXOfT

這個網誌中的熱門文章

How to combine Bézier curves to a surface?

Propositional logic and tautologies

Distribution of Stopped Wiener Process with Stochastic Volatility