Prove a set $V$ is not algebraic
I need help showing that the set $V = {(a,b) in mathbb{A}^2(mathbb{C}) vert vert avert^2 + vert bvert^2 = 1}$ is not an algebraic subset of complex affine 2-space.
I believe that I can just choose two complex numbers $a$ and $b$ with moduli that sum to 1 and just show that $(a,b) neq 0$. For example, if I choose $a = i$ and $b=0$, then $$vert avert^2 + vert bvert^2 = vert ivert^2 + vert 0vert^2 = 1^2 = 1,$$ but $(a,b) = (i,0) neq (0,0)$, and we are done.
Is this approach correct? Thanks in advance.
affine-geometry
asked Dec 11 '18 at 4:50
mathgeen
224
add a comment |
I need help showing that the set $V = {(a,b) in mathbb{A}^2(mathbb{C}) vert vert avert^2 + vert bvert^2 = 1}$ is not an algebraic subset of complex affine 2-space.
I believe that I can just choose two complex numbers $a$ and $b$ with moduli that sum to 1 and just show that $(a,b) neq 0$. For example, if I choose $a = i$ and $b=0$, then $$vert avert^2 + vert bvert^2 = vert ivert^2 + vert 0vert^2 = 1^2 = 1,$$ but $(a,b) = (i,0) neq (0,0)$, and we are done.
Is this approach correct? Thanks in advance.
affine-geometry
asked Dec 11 '18 at 4:50
mathgeen
224
But $- a^2+b^2=1$ is algebraic, and you can pick the same point lying on it, so not sure I understand your argument.
– Matt Samuel
Dec 11 '18 at 4:56
4
No, the approach is not correct. What do you think the definition of "algebraic set" is?
– Alex Kruckman
Dec 11 '18 at 4:56
1
@mathgeen Please don't change the question in a way that invalidates the answers you've received. If you'd like to change the question in such a fundamental way, just ask a new one.
– André 3000
Dec 11 '18 at 8:24
add a comment |
I need help showing that the set $V = {(a,b) in mathbb{A}^2(mathbb{C}) vert vert avert^2 + vert bvert^2 = 1}$ is not an algebraic subset of complex affine 2-space.
I believe that I can just choose two complex numbers $a$ and $b$ with moduli that sum to 1 and just show that $(a,b) neq 0$. For example, if I choose $a = i$ and $b=0$, then $$vert avert^2 + vert bvert^2 = vert ivert^2 + vert 0vert^2 = 1^2 = 1,$$ but $(a,b) = (i,0) neq (0,0)$, and we are done.
Is this approach correct? Thanks in advance.
affine-geometry
asked Dec 11 '18 at 4:50
mathgeen
224
I need help showing that the set $V = {(a,b) in mathbb{A}^2(mathbb{C}) vert vert avert^2 + vert bvert^2 = 1}$ is not an algebraic subset of complex affine 2-space.
I believe that I can just choose two complex numbers $a$ and $b$ with moduli that sum to 1 and just show that $(a,b) neq 0$. For example, if I choose $a = i$ and $b=0$, then $$vert avert^2 + vert bvert^2 = vert ivert^2 + vert 0vert^2 = 1^2 = 1,$$ but $(a,b) = (i,0) neq (0,0)$, and we are done.
Is this approach correct? Thanks in advance.
affine-geometry
affine-geometry
asked Dec 11 '18 at 4:50
mathgeen
224
asked Dec 11 '18 at 4:50
mathgeen
224
edited Dec 13 '18 at 8:52
asked Dec 11 '18 at 4:50
mathgeen
224
asked Dec 11 '18 at 4:50
mathgeen
224
asked Dec 11 '18 at 4:50
mathgeen
224
224
But $- a^2+b^2=1$ is algebraic, and you can pick the same point lying on it, so not sure I understand your argument.
– Matt Samuel
Dec 11 '18 at 4:56
4
No, the approach is not correct. What do you think the definition of "algebraic set" is?
– Alex Kruckman
Dec 11 '18 at 4:56
1
@mathgeen Please don't change the question in a way that invalidates the answers you've received. If you'd like to change the question in such a fundamental way, just ask a new one.
– André 3000
Dec 11 '18 at 8:24
add a comment |
But $- a^2+b^2=1$ is algebraic, and you can pick the same point lying on it, so not sure I understand your argument.
– Matt Samuel
Dec 11 '18 at 4:56
4
No, the approach is not correct. What do you think the definition of "algebraic set" is?
– Alex Kruckman
Dec 11 '18 at 4:56
1
@mathgeen Please don't change the question in a way that invalidates the answers you've received. If you'd like to change the question in such a fundamental way, just ask a new one.
– André 3000
Dec 11 '18 at 8:24
But $- a^2+b^2=1$ is algebraic, and you can pick the same point lying on it, so not sure I understand your argument.
– Matt Samuel
Dec 11 '18 at 4:56
But $- a^2+b^2=1$ is algebraic, and you can pick the same point lying on it, so not sure I understand your argument.
– Matt Samuel
Dec 11 '18 at 4:56
4
4
No, the approach is not correct. What do you think the definition of "algebraic set" is?
– Alex Kruckman
Dec 11 '18 at 4:56
No, the approach is not correct. What do you think the definition of "algebraic set" is?
– Alex Kruckman
Dec 11 '18 at 4:56
1
1
@mathgeen Please don't change the question in a way that invalidates the answers you've received. If you'd like to change the question in such a fundamental way, just ask a new one.
– André 3000
Dec 11 '18 at 8:24
@mathgeen Please don't change the question in a way that invalidates the answers you've received. If you'd like to change the question in such a fundamental way, just ask a new one.
– André 3000
Dec 11 '18 at 8:24
add a comment |
2 Answers
2
active
oldest
votes
If this set were algebraic, then its intersection with the set ${b=0}$ would
be an algebraic subset of $Bbb A^1(Bbb C)$. But that intersection is
${ainBbb C:|a|^2=1}$. But apart from $Bbb A^1(Bbb C)$ itself,
the algebraic subsets of $Bbb A^1(Bbb C)$ are all finite.
answered Dec 11 '18 at 5:22
Lord Shark the Unknown
101k958132
Yes, intersections of algebraic sets are algebraic. $b=0$ is a polynomial equation.
– Lord Shark the Unknown
Dec 11 '18 at 7:24
add a comment |
Whether or not $(a,b) = (0,0)$ has nothing to do with anything. For example ${xy = 1}$ is algebraic and doesn't contain $(0,0)$. Recall that a set $V$ is algebraic if it is the vanishing set of some collection of polynomials.
There are a couple strategies to show that a set is not algebraic. First, you can take a polynomial that vanishes on $V$ and show that it must always vanish at some other point not in $V$ (where "must always" means this is true for any polynomial that vanishes on $V$, not just a specific one). Think about why this is. Suppose $V = V(f_1,dots,f_r)$ and each $f_i$ vanishes at some other point not in $V$.
Another strategy is to consider dimensions and degrees and stuff like that. A common example for this is the set ${(t,sin(t)) : t in mathbf{R}} subseteq mathbf{R}^2$. Then when you intersect this with the line ${y = 0}$ you get infinitely many points. But what sort of polynomial has infinitely many zeroes?
So, what sort of polynomials vanish on your set? That is the first question you want to ask.
answered Dec 11 '18 at 5:02
Trevor Gunn
14.2k32046
@mathgeen An example of such a property is that if $f(x,y)$ vanishes on $V$ then $f(e^{it}x,e^{is}y)$ also vanishes on $V$. You can also try the second strategy, for example $V cap {b = 0} = {a in mathbf C : |a| = 1}$. One other theme that shows up is when you have two polynomials $f(x,y)$ and $g(x,y)$ with infinitely many common zeroes then what conclusions can we draw.
– Trevor Gunn
Dec 11 '18 at 5:23
add a comment |
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%2f3034900%2fprove-a-set-v-is-not-algebraic%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
If this set were algebraic, then its intersection with the set ${b=0}$ would
be an algebraic subset of $Bbb A^1(Bbb C)$. But that intersection is
${ainBbb C:|a|^2=1}$. But apart from $Bbb A^1(Bbb C)$ itself,
the algebraic subsets of $Bbb A^1(Bbb C)$ are all finite.
answered Dec 11 '18 at 5:22
Lord Shark the Unknown
101k958132
Yes, intersections of algebraic sets are algebraic. $b=0$ is a polynomial equation.
– Lord Shark the Unknown
Dec 11 '18 at 7:24
add a comment |
If this set were algebraic, then its intersection with the set ${b=0}$ would
be an algebraic subset of $Bbb A^1(Bbb C)$. But that intersection is
${ainBbb C:|a|^2=1}$. But apart from $Bbb A^1(Bbb C)$ itself,
the algebraic subsets of $Bbb A^1(Bbb C)$ are all finite.
answered Dec 11 '18 at 5:22
Lord Shark the Unknown
101k958132
Yes, intersections of algebraic sets are algebraic. $b=0$ is a polynomial equation.
– Lord Shark the Unknown
Dec 11 '18 at 7:24
add a comment |
If this set were algebraic, then its intersection with the set ${b=0}$ would
be an algebraic subset of $Bbb A^1(Bbb C)$. But that intersection is
${ainBbb C:|a|^2=1}$. But apart from $Bbb A^1(Bbb C)$ itself,
the algebraic subsets of $Bbb A^1(Bbb C)$ are all finite.
answered Dec 11 '18 at 5:22
Lord Shark the Unknown
101k958132
If this set were algebraic, then its intersection with the set ${b=0}$ would
be an algebraic subset of $Bbb A^1(Bbb C)$. But that intersection is
${ainBbb C:|a|^2=1}$. But apart from $Bbb A^1(Bbb C)$ itself,
the algebraic subsets of $Bbb A^1(Bbb C)$ are all finite.
answered Dec 11 '18 at 5:22
Lord Shark the Unknown
101k958132
answered Dec 11 '18 at 5:22
Lord Shark the Unknown
101k958132
answered Dec 11 '18 at 5:22
Lord Shark the Unknown
101k958132
answered Dec 11 '18 at 5:22
Lord Shark the Unknown
101k958132
101k958132
Yes, intersections of algebraic sets are algebraic. $b=0$ is a polynomial equation.
– Lord Shark the Unknown
Dec 11 '18 at 7:24
add a comment |
Yes, intersections of algebraic sets are algebraic. $b=0$ is a polynomial equation.
– Lord Shark the Unknown
Dec 11 '18 at 7:24
Yes, intersections of algebraic sets are algebraic. $b=0$ is a polynomial equation.
– Lord Shark the Unknown
Dec 11 '18 at 7:24
Yes, intersections of algebraic sets are algebraic. $b=0$ is a polynomial equation.
– Lord Shark the Unknown
Dec 11 '18 at 7:24
add a comment |
Whether or not $(a,b) = (0,0)$ has nothing to do with anything. For example ${xy = 1}$ is algebraic and doesn't contain $(0,0)$. Recall that a set $V$ is algebraic if it is the vanishing set of some collection of polynomials.
There are a couple strategies to show that a set is not algebraic. First, you can take a polynomial that vanishes on $V$ and show that it must always vanish at some other point not in $V$ (where "must always" means this is true for any polynomial that vanishes on $V$, not just a specific one). Think about why this is. Suppose $V = V(f_1,dots,f_r)$ and each $f_i$ vanishes at some other point not in $V$.
Another strategy is to consider dimensions and degrees and stuff like that. A common example for this is the set ${(t,sin(t)) : t in mathbf{R}} subseteq mathbf{R}^2$. Then when you intersect this with the line ${y = 0}$ you get infinitely many points. But what sort of polynomial has infinitely many zeroes?
So, what sort of polynomials vanish on your set? That is the first question you want to ask.
answered Dec 11 '18 at 5:02
Trevor Gunn
14.2k32046
@mathgeen An example of such a property is that if $f(x,y)$ vanishes on $V$ then $f(e^{it}x,e^{is}y)$ also vanishes on $V$. You can also try the second strategy, for example $V cap {b = 0} = {a in mathbf C : |a| = 1}$. One other theme that shows up is when you have two polynomials $f(x,y)$ and $g(x,y)$ with infinitely many common zeroes then what conclusions can we draw.
– Trevor Gunn
Dec 11 '18 at 5:23
add a comment |
Whether or not $(a,b) = (0,0)$ has nothing to do with anything. For example ${xy = 1}$ is algebraic and doesn't contain $(0,0)$. Recall that a set $V$ is algebraic if it is the vanishing set of some collection of polynomials.
There are a couple strategies to show that a set is not algebraic. First, you can take a polynomial that vanishes on $V$ and show that it must always vanish at some other point not in $V$ (where "must always" means this is true for any polynomial that vanishes on $V$, not just a specific one). Think about why this is. Suppose $V = V(f_1,dots,f_r)$ and each $f_i$ vanishes at some other point not in $V$.
Another strategy is to consider dimensions and degrees and stuff like that. A common example for this is the set ${(t,sin(t)) : t in mathbf{R}} subseteq mathbf{R}^2$. Then when you intersect this with the line ${y = 0}$ you get infinitely many points. But what sort of polynomial has infinitely many zeroes?
So, what sort of polynomials vanish on your set? That is the first question you want to ask.
answered Dec 11 '18 at 5:02
Trevor Gunn
14.2k32046
@mathgeen An example of such a property is that if $f(x,y)$ vanishes on $V$ then $f(e^{it}x,e^{is}y)$ also vanishes on $V$. You can also try the second strategy, for example $V cap {b = 0} = {a in mathbf C : |a| = 1}$. One other theme that shows up is when you have two polynomials $f(x,y)$ and $g(x,y)$ with infinitely many common zeroes then what conclusions can we draw.
– Trevor Gunn
Dec 11 '18 at 5:23
add a comment |
Whether or not $(a,b) = (0,0)$ has nothing to do with anything. For example ${xy = 1}$ is algebraic and doesn't contain $(0,0)$. Recall that a set $V$ is algebraic if it is the vanishing set of some collection of polynomials.
There are a couple strategies to show that a set is not algebraic. First, you can take a polynomial that vanishes on $V$ and show that it must always vanish at some other point not in $V$ (where "must always" means this is true for any polynomial that vanishes on $V$, not just a specific one). Think about why this is. Suppose $V = V(f_1,dots,f_r)$ and each $f_i$ vanishes at some other point not in $V$.
Another strategy is to consider dimensions and degrees and stuff like that. A common example for this is the set ${(t,sin(t)) : t in mathbf{R}} subseteq mathbf{R}^2$. Then when you intersect this with the line ${y = 0}$ you get infinitely many points. But what sort of polynomial has infinitely many zeroes?
So, what sort of polynomials vanish on your set? That is the first question you want to ask.
answered Dec 11 '18 at 5:02
Trevor Gunn
14.2k32046
Whether or not $(a,b) = (0,0)$ has nothing to do with anything. For example ${xy = 1}$ is algebraic and doesn't contain $(0,0)$. Recall that a set $V$ is algebraic if it is the vanishing set of some collection of polynomials.
There are a couple strategies to show that a set is not algebraic. First, you can take a polynomial that vanishes on $V$ and show that it must always vanish at some other point not in $V$ (where "must always" means this is true for any polynomial that vanishes on $V$, not just a specific one). Think about why this is. Suppose $V = V(f_1,dots,f_r)$ and each $f_i$ vanishes at some other point not in $V$.
Another strategy is to consider dimensions and degrees and stuff like that. A common example for this is the set ${(t,sin(t)) : t in mathbf{R}} subseteq mathbf{R}^2$. Then when you intersect this with the line ${y = 0}$ you get infinitely many points. But what sort of polynomial has infinitely many zeroes?
So, what sort of polynomials vanish on your set? That is the first question you want to ask.
answered Dec 11 '18 at 5:02
Trevor Gunn
14.2k32046
answered Dec 11 '18 at 5:02
Trevor Gunn
14.2k32046
answered Dec 11 '18 at 5:02
Trevor Gunn
14.2k32046
answered Dec 11 '18 at 5:02
Trevor Gunn
14.2k32046
14.2k32046
@mathgeen An example of such a property is that if $f(x,y)$ vanishes on $V$ then $f(e^{it}x,e^{is}y)$ also vanishes on $V$. You can also try the second strategy, for example $V cap {b = 0} = {a in mathbf C : |a| = 1}$. One other theme that shows up is when you have two polynomials $f(x,y)$ and $g(x,y)$ with infinitely many common zeroes then what conclusions can we draw.
– Trevor Gunn
Dec 11 '18 at 5:23
add a comment |
@mathgeen An example of such a property is that if $f(x,y)$ vanishes on $V$ then $f(e^{it}x,e^{is}y)$ also vanishes on $V$. You can also try the second strategy, for example $V cap {b = 0} = {a in mathbf C : |a| = 1}$. One other theme that shows up is when you have two polynomials $f(x,y)$ and $g(x,y)$ with infinitely many common zeroes then what conclusions can we draw.
– Trevor Gunn
Dec 11 '18 at 5:23
@mathgeen An example of such a property is that if $f(x,y)$ vanishes on $V$ then $f(e^{it}x,e^{is}y)$ also vanishes on $V$. You can also try the second strategy, for example $V cap {b = 0} = {a in mathbf C : |a| = 1}$. One other theme that shows up is when you have two polynomials $f(x,y)$ and $g(x,y)$ with infinitely many common zeroes then what conclusions can we draw.
– Trevor Gunn
Dec 11 '18 at 5:23
@mathgeen An example of such a property is that if $f(x,y)$ vanishes on $V$ then $f(e^{it}x,e^{is}y)$ also vanishes on $V$. You can also try the second strategy, for example $V cap {b = 0} = {a in mathbf C : |a| = 1}$. One other theme that shows up is when you have two polynomials $f(x,y)$ and $g(x,y)$ with infinitely many common zeroes then what conclusions can we draw.
– Trevor Gunn
Dec 11 '18 at 5:23
add a comment |
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3034900%2fprove-a-set-v-is-not-algebraic%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
But $- a^2+b^2=1$ is algebraic, and you can pick the same point lying on it, so not sure I understand your argument.
– Matt Samuel
Dec 11 '18 at 4:56
4
No, the approach is not correct. What do you think the definition of "algebraic set" is?
– Alex Kruckman
Dec 11 '18 at 4:56
1
@mathgeen Please don't change the question in a way that invalidates the answers you've received. If you'd like to change the question in such a fundamental way, just ask a new one.
– André 3000
Dec 11 '18 at 8:24