When does an inner product induce a norm?
Clash Royale CLAN TAG#URR8PPP
up vote
4
down vote
favorite
When we consider a vector space $V$ over some field $F$, I know that when the $F=mathbbR$ or $ =mathbbC$, by setting $|x|=leftlanglex,xrightrangle^frac12$ we get a norm. However, since the inner product is a function with its image in $F$, what happens if we consider any $V$ over the rational numbers? For example, if we take $mathbbQ^2$ over $mathbbQ$ with the dot product, then $v=(1,1)$ has norm $sqrt2$, which is not rational. How can one obtain a norm from a given inner product in such cases?
linear-algebra normed-spaces inner-product-space
edited 1 hour ago
zipirovich
10.4k11630
asked 1 hour ago
javierochomil
213
New contributor
javierochomil is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
add a comment |Â
up vote
4
down vote
favorite
When we consider a vector space $V$ over some field $F$, I know that when the $F=mathbbR$ or $ =mathbbC$, by setting $|x|=leftlanglex,xrightrangle^frac12$ we get a norm. However, since the inner product is a function with its image in $F$, what happens if we consider any $V$ over the rational numbers? For example, if we take $mathbbQ^2$ over $mathbbQ$ with the dot product, then $v=(1,1)$ has norm $sqrt2$, which is not rational. How can one obtain a norm from a given inner product in such cases?
linear-algebra normed-spaces inner-product-space
edited 1 hour ago
zipirovich
10.4k11630
asked 1 hour ago
javierochomil
213
New contributor
javierochomil is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
add a comment |Â
up vote
4
down vote
favorite
up vote
4
down vote
favorite
When we consider a vector space $V$ over some field $F$, I know that when the $F=mathbbR$ or $ =mathbbC$, by setting $|x|=leftlanglex,xrightrangle^frac12$ we get a norm. However, since the inner product is a function with its image in $F$, what happens if we consider any $V$ over the rational numbers? For example, if we take $mathbbQ^2$ over $mathbbQ$ with the dot product, then $v=(1,1)$ has norm $sqrt2$, which is not rational. How can one obtain a norm from a given inner product in such cases?
linear-algebra normed-spaces inner-product-space
edited 1 hour ago
zipirovich
10.4k11630
asked 1 hour ago
javierochomil
213
New contributor
javierochomil is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
When we consider a vector space $V$ over some field $F$, I know that when the $F=mathbbR$ or $ =mathbbC$, by setting $|x|=leftlanglex,xrightrangle^frac12$ we get a norm. However, since the inner product is a function with its image in $F$, what happens if we consider any $V$ over the rational numbers? For example, if we take $mathbbQ^2$ over $mathbbQ$ with the dot product, then $v=(1,1)$ has norm $sqrt2$, which is not rational. How can one obtain a norm from a given inner product in such cases?
linear-algebra normed-spaces inner-product-space
linear-algebra normed-spaces inner-product-space
edited 1 hour ago
zipirovich
10.4k11630
asked 1 hour ago
javierochomil
213
New contributor
javierochomil is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
edited 1 hour ago
zipirovich
10.4k11630
asked 1 hour ago
javierochomil
213
New contributor
javierochomil is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
edited 1 hour ago
zipirovich
10.4k11630
edited 1 hour ago
zipirovich
10.4k11630
edited 1 hour ago
zipirovich
10.4k11630
10.4k11630
asked 1 hour ago
javierochomil
213
New contributor
javierochomil is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
asked 1 hour ago
javierochomil
213
asked 1 hour ago
javierochomil
213
213
New contributor
javierochomil is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
New contributor
javierochomil is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
javierochomil is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
add a comment |Â
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
4
down vote
An ordered field where $a^2+b^2$ is always a square is called a Pythagorean field. As you observe, not every ordered field is Pythagorean, but each
ordered field has a Pythagorean extension. If you really want $L^2$-norms
you could always extend your ground field to a Pythagorean extension field.
answered 1 hour ago
Lord Shark the Unknown
92.5k956120
Thanks, I didn't know about this extensions. It's not that I want a norm like the one I mention, but instead I would like to know how can one obtain a normed space from an inner product space when the field is, like you say, not Pythagorean.
– javierochomil
1 hour ago
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
4
down vote
An ordered field where $a^2+b^2$ is always a square is called a Pythagorean field. As you observe, not every ordered field is Pythagorean, but each
ordered field has a Pythagorean extension. If you really want $L^2$-norms
you could always extend your ground field to a Pythagorean extension field.
answered 1 hour ago
Lord Shark the Unknown
92.5k956120
Thanks, I didn't know about this extensions. It's not that I want a norm like the one I mention, but instead I would like to know how can one obtain a normed space from an inner product space when the field is, like you say, not Pythagorean.
– javierochomil
1 hour ago
add a comment |Â
up vote
4
down vote
An ordered field where $a^2+b^2$ is always a square is called a Pythagorean field. As you observe, not every ordered field is Pythagorean, but each
ordered field has a Pythagorean extension. If you really want $L^2$-norms
you could always extend your ground field to a Pythagorean extension field.
answered 1 hour ago
Lord Shark the Unknown
92.5k956120
Thanks, I didn't know about this extensions. It's not that I want a norm like the one I mention, but instead I would like to know how can one obtain a normed space from an inner product space when the field is, like you say, not Pythagorean.
– javierochomil
1 hour ago
add a comment |Â
up vote
4
down vote
up vote
4
down vote
An ordered field where $a^2+b^2$ is always a square is called a Pythagorean field. As you observe, not every ordered field is Pythagorean, but each
ordered field has a Pythagorean extension. If you really want $L^2$-norms
you could always extend your ground field to a Pythagorean extension field.
answered 1 hour ago
Lord Shark the Unknown
92.5k956120
An ordered field where $a^2+b^2$ is always a square is called a Pythagorean field. As you observe, not every ordered field is Pythagorean, but each
ordered field has a Pythagorean extension. If you really want $L^2$-norms
you could always extend your ground field to a Pythagorean extension field.
answered 1 hour ago
Lord Shark the Unknown
92.5k956120
answered 1 hour ago
Lord Shark the Unknown
92.5k956120
answered 1 hour ago
Lord Shark the Unknown
92.5k956120
answered 1 hour ago
Lord Shark the Unknown
92.5k956120
92.5k956120
Thanks, I didn't know about this extensions. It's not that I want a norm like the one I mention, but instead I would like to know how can one obtain a normed space from an inner product space when the field is, like you say, not Pythagorean.
– javierochomil
1 hour ago
add a comment |Â
Thanks, I didn't know about this extensions. It's not that I want a norm like the one I mention, but instead I would like to know how can one obtain a normed space from an inner product space when the field is, like you say, not Pythagorean.
– javierochomil
1 hour ago
Thanks, I didn't know about this extensions. It's not that I want a norm like the one I mention, but instead I would like to know how can one obtain a normed space from an inner product space when the field is, like you say, not Pythagorean.
– javierochomil
1 hour ago
Thanks, I didn't know about this extensions. It's not that I want a norm like the one I mention, but instead I would like to know how can one obtain a normed space from an inner product space when the field is, like you say, not Pythagorean.
– javierochomil
1 hour ago
add a comment |Â
javierochomil is a new contributor. Be nice, and check out our Code of Conduct.
javierochomil is a new contributor. Be nice, and check out our Code of Conduct.
javierochomil is a new contributor. Be nice, and check out our Code of Conduct.
javierochomil is a new contributor. Be nice, and check out our Code of Conduct.
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
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2955968%2fwhen-does-an-inner-product-induce-a-norm%23new-answer', 'question_page');
);
Post as a guest
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
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
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