[jonnybgood]

> x is a variable that can assume a myriad of values.

No it can’t. x in this case is a bound variable. It’s not that it just so happens to take on -2, but that it is already bounded to -2 to make the statement true.

It really says: There exists some x in Z such that x + 3 = 1. What is that x, or what is a proof of the statement? The answer is in the form of a logical implication.

[sykh]

Let’s assume we are talking about Q, the rationals. x+3 is an element of Q[x]. This element of Q[x] defines a natural map from Q to Q. The equation x+3 = -2 is equivalent to finding the pre-image of -2 of this natural map.

x is actually just, in the language of computer science, syntactic sugar. In reality x+3 is really the infinite tuple

(3, 1, 0, 0, .....)

[gizmo686]

>x+3 is an element of Q[x].

I think this is incorrect.

Lets continue to assume we are working over Q. Without further context I would take "x+3=-1" to mean that x,3, and -1 are all elements of Q. 3 and -1 being the obvious elements; and x being an a-priori unknown elements which we can easility derive to be 2.

Notably, x+3 is not a polynomial in the technical sense. If we wanted to consider x+3 a polynomial, we would be asking for the t value such that (x+3)[t] = (-1)[t]. Where (-1) is also a polynomial, and (g)[t] is the map Q[x] X Q -> Q given by standard polynomial evaluation.

Sure, this question is equivalent, but I see nothing in the original equation "x+3=-1" to suggest any involvement of formal polynomials.

[sykh]

x+3 is an element of the polynomial ring Q[x]. More precisely it is syntactic sugar for the infinite tuple

(3, 1, 0, 0, ....)

A polynomial ring in one variable is an infinite direct sum of the base ring with addition component wise and multiplication defined in a certain way. The expression x+3 meets the definition of a polynomial.

[gizmo686]

I know what a polynomial ring is. I am not questioning that the string "x+3" can be interpreted as an element of Q[x].

What I am questioning is the necessity to interpret "x+3" as an element of Q[x].

>The expression x+3 meets the definition of a polynomial.

Only if you take x=(0,1,0,...) and adopt the convention that any member q of the base field Q is assumed to represent qx^0 = (q,0,0,...).

That is to say, x+3 only meets the definition of a polynomial because you insist on interpenetrating it as such.

However, we can also handle "x+3=-1" without ever defining the notion of a polynomial.

Eg, we can say, suppose x \in Q such that "x+3=-1". From this premise, we can derive presisly what specific element of Q x must be.

In a more general setting, we might only be able to derive a set of potential values that x could have, or derive that x cannot possibly exist.

As I mentioned in my prior comment, I see no reason to intererperet the "x+3" in "x+3=-1" as a polynomial. If we were to do so, the question would be asking: find t \in Q such that (x+3)[t]=(-1)[t]. Where (g)[t] is polynomial evaluation.

Applying the definition of polynomial evaluation, we would get that the above equation implies: t+3=-1.

Are you now going to insist that "t+3" is a polynomial. Bearing in mind that we have defined t to be an element of Q, which was necessary to apply it as the second argument of polynomial evaluation; and we only got "t+3" as the output of polynomial evaluation, which is defined to result in an element of the base field.

We could modify are notion of polynomial evaltuation to instead be of the form R[x] X R[x] -> R[x], which also gives us (for free) the ability to apply polynomials to other polynomials. But if we were to do this, then when we say that the solution to "x+3=-1", is -4, we are taking "-4" itself to be a polynomial.

In practice this is fine (we identify the base field with the subring of degree 0 polynomials all the time). However, this entire approach breaks down when you start working with functions that do not fit within the framework of polynomial rings.

For instance, suppose I said that "(x+3)! = 120". Are you still going to insist that "x+3" is a polynomial?

What if I define a function id: Q -> Q. In the equation "id(x+3) = 2, are you still going to insist that "x+3" is a polynomial?

[sykh]

Only if you take x=(0,1,0,...) and adopt the convention that any member q of the base field Q is assumed to represent qx^0 = (q,0,0,...). That is to say, x+3 only meets the definition of a polynomial because you insist on interpenetrating it as such.

That’s what we mathematicians do. In the context of the original post it is absolutely clear that x+3 is a polynomial. There is no other reasonable interpretation.

When you write things like:

Notably, x+3 is not a polynomial in the technical sense. If we wanted to consider x+3 a polynomial, we would be asking for the t value such that (x+3)[t] = (-1)[t]. Where (-1) is also a polynomial, and (g)[t] is the map Q[x] X Q -> Q given by standard polynomial evaluation.

it gives the impression that you don’t know what a polynomial is. The second sentence I quoted is not true. (EDIT: see note below, my interpretation of what was written was wrong.)

Of course if you change context then different interpretations arise. Which of course is the whole point of my original post. Like all spoken languages mathematical language is nuanced. Things must be interpreted in context.

When presented with the equation x+3=-1 x+3 is a polynomial. -1 is a polynomial.

I gather you do not think x^2 - x + 1 = 0 is a polynomial equation. Is x^3+4x a polynomial? Is there any other reasonable interpretation using accepted mathematical conventions? Perhaps you don’t think 2/(x+3) is a member of R(x). What is it a member of then?

Edit:

x+3 is a polynomial that defines a natural map from R to R. To solve the equation x+3=-1 is asking for the pre-image of -1 of this map. This is what it means to solve this equation. It’s solution set is an algebraic variety. I see no other reasonable interpretation. The whole branch of algebraic geometry is about precisely this. Studying zero sets of polynomial equations.

That we teach people rules they can apply to find the answer does not detract that what is really going is as I’ve described and as you did describe with the second quoted text.

[gizmo686]

>The second sentence I quoted is not true.

I assume you are refering to the sentence:

> If we wanted to consider x+3 a polynomial, we would be asking for the t value such that (x+3)[t] = (-1)[t]

Bearing in mind that the example I have in mind is the equation "x+3=-1" with the solution of "2", in what sense in the above sentence not true?

>When presented with the equation x+3=-1 x+3 is a polynomial. -1 is a polynomial.

Fair enough. In that case, I assume you would consider the equation "x+3=-1" to be false, as it is clear that (3,1,0,0,...) != (-1,0,0,...). Unless of course you are asking, as I had suggested, that you are looking for the particular element at which polynomial evalutation yields an equal result on both sides. If this is the case then, as far as I can tell, you are introducing the machinery of formal polynomials for the sole purposes of overloading the "=" symbol in a confusing way.

>I gather you do not think x^2 - x + 1 = 0 is a polynomial equation.

Define "polynomial equation" If you are asking if I would consider that an equation taking place in R[x], then (absent some other context) the answer is no. Even with other context I would say that "x^2 - x + 1 = 0" is false as a polynomial equation. You might be able to get me to call equations done in the quotient ring R[x]/<x^2-x+1> polynomial equations, in which case "x^2 - x + 1 = 0" would be both a polynomial equation and true at the same time.

If you are asking if I would call "x^2 - x + 1 = 0" in an informal setting, then the answer is yes. However, I do not see how this is relevant, as the whole point of this comment chain was the formal notion of polynomials.

>x^3+4x a polynomial?

Informally, yes. Formally, it depends on context. However, absent some context, I would not consider "x^3 +4x" to be a formal polynomial.

>Is there any other reasonable interpretation using accepted mathematical conventions?

Yes, x^3 +4x is the member of the base ring corresponding to "(x * x * x) + (4 * x)", where x is some other member of the ring.

>Perhaps you don’t think 2/(x+3) is a member of R(x). What is it a member of then?

I am glad you asked. I believe my above answer regarding x^3+4x still applies. However, let me ask you: Is x^3+4x a member of R(x)?

>What is it a member of then?

Again, depending on context. Without context, I would consider 2/(x+3) to be a member of R.