« first day (4237 days earlier)      last day (1079 days later) » 
00:00 - 23:0023:00 - 00:00

00:07
Hello, I have a question, if we have this function f(x)=4x-2, then the root of this function is at x=1/2. Now, If we use bisection method, let's say a=0 and b=3, we will see that f(0)= negative-sign and f(3)=positive-sign, then this shows that the solution are between 0 and 3. The only requirement to apply bisection method is to have a continuous function. Now, If I have this function f(x) = x^2-16x.
The roots are 0 and -16. Now If I apply bisection method, given two points they always going to give me a positive-sign, even though this function is continuous. Does this mean that bisection method doesn't work for some polynomial that always outputs a positive-sign?
here is some information about bisection method.
https://en.wikipedia.org/wiki/Bisection_method
@PM2Ring Thanks, I will take a look!
@user777 Yes, that is the correct interpretation. In order to use the method of bisection, you need a continuous function which is positive sometimes, and negative at other times.
@XanderHenderson Thank you Xander, now it makes sense!
00:30
OK, I have a really simple question.
If the force of gravity is proportional to an objects mass, how can all masses accelerate downwards at the same rate?
Can you clarify?
If the force of gravity is proportional to an objects mass
OK ...?
then F = km
00:35
Do you mean F = ma = mg?
So since $F \propto m$, wouldn't $F$ be greater for a greater $m$, resulting in greater $a$?
Nevermind, this resolved all doubts: physics.stackexchange.com/questions/468349/…
yup, a=g=k
sorry for being so terse :-)
01:12
What is the total number of reducible polynomials over $Z_p$ of the form $x^2+ax+b$ ?
For reducibility, it suffices to consider the total number of distinct factors $(x-a)(x-b)$. This can be done in $p^2$ ways (p ways to choose a and the same holds for b).
(x-a)(x-b) is same as (x-b)(x-a) son$p^2$ must be divided by 2 but that makes no sense if p is a prime >2.
Why is this paradox?
$p+(p-1)+(p-2)+…+1= p(p+1)/2$
Huh? You're overcounting.
There is no paradox. You have to account intelligently for the case $a=b$.
That is, choose a=0 then b has p choices. Choose a=1, then b has p-1 choices (b=0 is counted earlier), If a=2 then b has p-2 choices…These are all mutually exclusive events so the total is $ p+(p-1)+(p-2)+….+1$.
But I still don’t understand why $p^2$ ( over 2) is wrong.
That's what my comment was for.
Division by $2$ is wrong when $a=b$.
This is precisely why you look at the dimension of the space of symmetric matrices.
@TedShifrin Thanks a lot :-).
 
1 hour later…
02:47
$\overbrace{\frac{p(p-1)}2}^{a\lt b}+\overbrace{\quad p\vphantom{\frac12}\quad}^{a=b}=\frac{p(p+1)}2$
Counting the dimension of symmetric matrices :)
@robjohn Re this: I got that in my head, but I don’t immediately see how that leads to a Taylor expansion.
@TedShifrin it won't be a Taylor expansion because there are mixed $x$ and $\log(x)$ terms.
I know.
$$\sqrt{\log(x)}\left(\sqrt{1+\frac{\log(1+1/x)}{\log(x)}}-1\right)$$
This can be worked into an expansion
Oh, I did it by multiplying by the conjugate.
But they want an expansion at infinity.
02:54
Yes. That is why I wrote it that way. I will get a few terms...
What a horrid exercise.
$\frac1{2x\sqrt{\log(x)}}-\frac1{4x^2\sqrt{\log(x)}}-\frac1{8x^2\log(x)^{3/2}}+O\!\left(\frac1{x^3\sqrt{\log{x}}}\right)$
it is not pretty
But that won’t be a power series in $1/x$?
How is that a power series in $\frac1x$ when there are the $\log(x)$s in the denominators? maybe we are working on different ideas of a power series
Aren’t we agreeing?
03:03
Maybe we are and I am being stupid :-)
The original question was a Taylor expansion at $\infty$. It seemed wrong to me.
Yes, there is no Taylor series at $\infty$
We concur. Stooopid exercise or bad representation.
Given the asker, one never knowz.
There are occasions like that
Verily.
 
2 hours later…
05:28
@user777 No, the roots of $f(x)=x^2-16x$ are 0 and 16. And $f(x)$ is negative between those roots. If $f(x)$ is positive for all real $x$ then it has no real roots. Here's a graph of your function:
 
1 hour later…
06:36
seen one parabola, you seen 'em all. that's my view.
some are smiley, some are frowny. it's all the same to me.
depends on your focus
07:08
True, they're all the same shape. But some cross the X axis & some don't, and that's kind of important for user777's question. I'm tempted to post the graph of a cubic with repeated roots, showing that a poly can touch the X axis without crossing it, since you have to deal with that when searching for roots via bisection. And repeated roots are painful with Newton-Raphson, too.
The numerical crux, when is something zero...
@copper.hat You are a man with no directrix.
I am equidistant from many things.
07:24
We had to do lots of curve sketching when I was at school. I guess kids these days don't do much of that, since they have computers & graphing calculators.
08:02
@copper.hat you are central
08:35
:-). We had limited access to graph paper, which made it valuable. I loved drawing on graph paper.
Good night folks!
09:04
@robjohn how to get this
6 hours ago, by robjohn
$$\sqrt{\log(x)}\left(\sqrt{1+\frac{\log(1+1/x)}{\log(x)}}-1\right)$$
6 hours ago, by robjohn
$\frac1{2x\sqrt{\log(x)}}-\frac1{4x^2\sqrt{\log(x)}}-\frac1{8x^2\log(x)^{3/2}}+O\!\left(\frac1{x^3\sqrt{\log{x}}}\right)$
oh thank you
Using $\log(1+x)=x-\frac{x^2}2+\frac{x^3}3$ and $\sqrt{1+x}-1=\frac{x}2-\frac{x^2}8+\frac{x^3}{16}$
09:21
thank you
10:03
Hi, if someone here is free please consider having a look at this question I just posted; it is a high-school level question.
11:00
This is going to sound dumb, but if you start the equilibrium point of any differential equation - you stay there as $t \rightarrow \infty$ and $t \rightarrow -\infty$, no matter the stability?
 
4 hours later…
15:15
@robjohn There it is. I figured that there was going to be some relatively simple algebraic trick which made the whole thing possible (if not fun).
 
2 hours later…
16:50
@XanderHenderson It says the terms will be of the form $\frac{c_{n,k}}{x^n\log(x)^{k-1/2}}$ where $1\le k\le n$.
 
2 hours later…
18:25
@Govind75 If there is a unique solution, yes. But if not, then not ecessarily, see math.stackexchange.com/a/239295/27978 for example.
I see
One more question, for a point $x$, is the orbit $O^+(x)$ positively invariant
It seems that it should be obviously true
For a DE $x' = f(x)$
I don't know how you define $O^+$.
I define it as $O(x) = \{\phi(t,x) | t \in J_{max}\}$
Where $\phi(t,x)$ is the flow of the equation and $J_{max}$ is the maximal time interval for the solution
And the $+$?
For $t > 0 $
I was thinking it could be false since the starting points will be different
18:37
I'm a bit confused, how could the flow not be part of the flow?
It is time invariant, right?
yeah...
So $\phi(t, x) = \phi(t-s, \phi(s,x))$.
Ah yes
But at $t = 0$, are the flows at the same point?
I don't understand the question.
Sorry, maybe I misunderstand what a flow is, i was thinking if I have $y \in \phi(t,x)$, is $\phi(t,y) = \phi(t,x)$?
$y = \phi(t_1,x)$, like you said
18:44
No, $y$ is where you end up $t$ seconds after you start at $x$.
If you are at an equilibrium, then $x \in \phi(t,x)$.
When you write $\phi(t,x)$ you are implicitly assuming uniqueness.
So what would $\phi(t,y)$ be like?
I do not understand what you are asking. For example, with $x'=x$, you have $\phi(t,x) = e^tx$.
Okay, so if I take a point $y = e^{t+s}x$ which is on the flow for some time $t+s$
Okay nevermind i'm silly
the orbit is a range of values
not a set of coordinates
The orbit is the path starting from $x$.
Or rather the points on the path.
If I have an orbit which hits the exact same points but at different times, are they equivalent then
18:52
You are being sloppy. What do you mean by equivalent.
Does $\{\phi(t,x) | t \in J_{max}\} = \{\phi(t,\phi(t_0,x)) | t \in J_{max}\}$
And $t > 0$
$J_\text{max}$ depends on where you start. So these are different intervals.
If $t_0 > 0$ will I have {𝜙(𝑡,𝑥)|𝑡∈𝐽𝑚𝑎𝑥} contains{𝜙(𝑡,𝜙(𝑡0,𝑥))|𝑡∈𝐽𝑚𝑎𝑥}
Copy and paste is not a good idea with latex
19:08
You did not respond to what I said?
I understand that they're different intervals, but will the time interval for the RHS be contained in the time interval for the LHS if I have the conditions above?
But $J_\text{max}$ depends on the $x$ at which you start the flow.
You're writing symbols that are different from the words you write.
The complete flow line contains the flow line if you start at some point in the middle.
I seeee
19:25
I would suggest drawing a little picture and checking with a specific example before asking.
There's that hated word again.
Is there a quick test to check if a differential operator (mostly interested in operators with respect to two variables) is self-adjoint without doing all the multivariate integration by parts?
Probably there are shortcuts, which you might discover if you do a few examples. You should start by looking at the symbol of the operator.
19:42
hey guys
why is this closed ??
-6
Q: Show that If $x^3 x = x^2 x^2 $ then $x$ is power associative?

mickConsider a unital commutative algebra $A$. Let $x$ be an element of $A$. If $x^3 x = x^2 x^2 $ then $x$ is power associative. How to prove that ?

Looks like you posted a homework assignment with zero effort.
it is not homework
You're stating it as if it were and you've given no effort.
I NEVER post homework
I do not know how to start
@mick Read the banner at the top of the page:
> Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc.
There are links in that banner, too, which describe things which you can do to improve your question.
19:44
I want to understand power associativity better
Surely you've done some fiddling around and gotten some partial results. If not, do so ....
One of the bits of advice in the linked document is math.meta.stackexchange.com/questions/9959/… .
do so ? Im clueless !
I do not accept that. What do you need to prove? What cases are done?
and why 6 downvotes ?
19:46
Stop crying and do some math.
I mean, you presented a problem statement with absolutely zero context. You haven't even defined the term "power associative", let alone indicated more than a very shallow description of what you know, what you are studying, and what tools you have access to.
I do not know how , that is WHY i ask the question.
power associative is ALREADY defined
there is only one kind
I am not going to keep talking to a wall. I asked you specific questions and you just cry.
@mick $x$ is power associative if $x^n$ can be unambigiously defined, i.e. the bracketing doesn't matter. Can you show this for $x^4$ with your assumptions? What about $x^5$? These examples should give you an idea how to do a general proof idea (by induction)
All i can do is copy paste from wiki for definitions that are already well known
19:47
You are not going to be successful in mathematics if you throw up your hands and give up the moment you encounter a problem which you don't immediately know how to answer. You have to try something.
If you refuse to try, and refuse to listen to the input of others, you are going to remain stuck.
Lukas just did what you should have done.
@Lukas Didn't you leave out $x^3$?
no x^3 is uniquely defined
x^3 = x^2 x = x x^2
Why is that?
$x^3$ follows from the commutativity assumption
yes
19:49
OK, so you should have included that much in your post.
no it is obvious
I give up. Bye.
cmon why should i add trivial stuff that does not help ?
@mick Nothing is obvious, and it is extremely condescending to tell others that something is.
@mick Because we don't know what you know.
@mick I already gave you an ansatz. you should try to work it out and stop arguing
19:50
my reputation is suffcient to know that i understand that
commutative is a simple concept
Okay, here's my answer: it is obvious that if $x^3x = x^2x^2$, then $x$ is power associative.
My answer is exactly as useful and helpful as your question.
OK, so the whole problem is trivial for algebraists who know how to do it. So don't waste our time.
@XanderHenderson that does not follow from commutative. so why does it follow ?
After your attitude here, I'm tempted to go put a downvote.
It's obvious.
And trivial.
19:52
ok put a downvote
this argument leads nowhere
for an algebraist it is trivial but not for an average person
if it is trivial , tell the answer
induction does not seem to work, so im missing something.
@mick Sometimes there is a "presumption of guilt" on math forums even when you post non-homework problems. If you run into Problem Y as a step in the course of doing Problem X, you have to "virtue signal" a bit and frame the question as "I am solving X, and so far I have reduced it to Y but I am now stuck," instead of just describing Y and assuming people will give you the benefit of the doubt.
I am not going to spoonfeed you. If you insist on being spoonfed, you are never going to grow as a mathematician (nor as a human being).
@user10478 there is previous step. The question is isolated
there is no *
getting personal towards me is not helping me become a better mathematician
all this " psychology "
19:56
@user10478 I very much disagree with this sentiment. The problem here is that no context is given. mick has not indicated any understanding of the problem in the question posted. Already, here, we have learned that the uniqueness of $x^3$ is "obvious" to mick, which is more context than is given in the question. We have, however, very condescendingly been told that all of this is obvious and trivial.
My last comment: It seems like it is trivial that $x^3$ is well-defined. What's given in the problem tells you $x^4$ is well-defined. Did you attempt to do $x^5$? If you did not finish, where did you get stuck? ... All this should have been included. I'm out.
@XanderHenderson so what ? If i add why x^3 is trivial , will i get an answer ? if not , why bother ? it does not help getting closer
i cannot prove the case x^5 , x^6 , x^7 , ... hence i am stuck.
i considered some induction , but i do not see how to get induction.
Let's see your effort to do $x^5$ other than throwing up your hands and quitting.
x^5 = x x^4 = x ( x x^3 ) = x ( x^2 x^2 ) = ...
but how do I prove x^5 = x x^4 = x^2 x^3 ??
@mick I don't know. At this point, I think that you have alienated a lot of the people who might have otherwise been willing to help you out. You have tried to make me feel like an idiot for not immediately knowing the definition of "power associative", and you have told everyone here that they are dumb for not immediately seeing the uniqueness of $x^3$. I don't really feel like helping someone who refuses to treat me with civility and respect.
20:01
i have not called anyone dumb
in fact i assumed all knew x^3 was unique
TED ?
You just showed that $x^5=x^3x^2=x^2x^3$, did you not? From $xx^3=x^2x^2$, you get $xx^4=x^2x^3$ immediately.
Don't "ASSUME"... It makes an ASS out of U and ME. That applies to anyone assuming anyone can read their mind, or should be able to read between the lines.
@XanderHenderson YOU KNOW power associative , i assumed that.
Sometimes in mathematics it's more intuitive to start with what you know, rather than what you're trying to prove.
@TedShifrin how do i get x x^4 = x^2 x^3 without assuming power associative , associative or others ??
20:05
@mick I had never heard the term before in my life. I'm a fractal geometer / analyst, and don't do very much algebra. So, no, I DON'T know the term. But, hey, thanks for, once again, trying to demean me for my ignorance.
@XanderHenderson im sorry i assumed you knew alot about algebra. consider it a compliment , not an insult
anyways power associative is easily searchable on wiki. Should I have added it ?
Feels like explaining commutative ...
@XanderHenderson because of your high rating here I assumed you know all terminology. With trivial , I meant trivial for someone into algebra , not an insult.
x ( x x x x ) = ( x x ) ( x x x ) because ??
I know a great deal about a very small thing. I know very little about commutative algebra, beyond what would be taught to a clever undergraduate. And my undergraduate years are more than a decade behind me. I certainly do not know all of the terms and definitions used there.
This is true of everyone here.
well i make it a habit too google terminology before i ask a question or attempt an answer
20:11
Don't assume that people know things---give definitions. It never hurts to help orient people (even people who should know the definitions, but have forgotten them over years of non-use).
i see , but i assume if they do not know the defintion , they probably can not help me anyway
@mick So put that Googling in the question. If you expect everyone who reads your question to Google for terms, you are wasting their time, and diminishing the probability of getting an answer.
ok
@mick Questions on Math SE are not just for the asker. A future reader might also be interested. And you are making an additional assumption that terms only ever have one meaning, or that the top Google result is automatically what you mean.
i still do not see why x x^4 = x^2 x^
3
20:13
Again, give context and help people to orient to what you are asking.
x is a very general thing , so i do not know how to add context.
i could add that i do not understand x^5.
maybe im too autistic
sec
@mick So the subtlety is that we can go from $y=z$ to $yx=zx$ but then we're stuck, it seems. Including all this as part of the question is helpful — indeed necessary.
So $(xx^3)x = (x^2x^2)x$. Is any associativity game going to work with this?
20:32
What does function F : [0,1] x [0,1] -> $\mathbb{R}$ mean?
That the output of function F is a real number between 0 and 1?
No, input is a pair of real numbers between $0$ and $1$. Output arbitrary real numbers.
@TedShifrin I see, thanks!
20:49
@mick where does it say on wikipedia that if $x^3x = x^2x^2$ then $A$ is power-associative?
@Jakobian not A is power associative , but x.
In mathematics, specifically in abstract algebra, power associativity is a property of a binary operation that is a weak form of associativity. == Definition == An algebra (or more generally a magma) is said to be power-associative if the subalgebra generated by any element is associative. Concretely, this means that if an element x {\displaystyle x} is performed an operation ∗ {\displaystyle *} by itself several times, it doesn't matter in which order the operations are carried out, so for instance...
you can derive it from there ( the associator ) by adding commutative.
on wikipedia the power associativity of algebra is defined, but sure, I can settle for definition for an element
anyway, the question still holds
this sentense on wiki ( can be used to derive it ) : Over a field of characteristic 0, an algebra is power-associative if and only if it satisfies {\displaystyle [x,x,x]=0} ...
@Jakobian
is that clear ?
yeah
ok :)
but the links in wiki do not explain why
20:53
maybe it's good to write in your question that $A$ is over a field of characteristic zero
so i do not see how x^5 or x^17 are uniquely defined
@Jakobian yes that is true thanks
21:18
I have no idea how to show this. Luckily, I'm past algebra
Is this going to work in a group setting, or do we need to use the full strength of an algebra? @Lukas
magma?
@Jakobian No, it is on the surface. Lava.
I doubt that there doesn't exist a commutative magma with $x^3x = x^2x^2$ and $x^n$ isn't in general "defined"
21:42
@TedShifrin I think I found an example of a commutative magma in which the above law holds and $x^5$ isn't well-defined
Take $x*y = x^2+y^2$ for $x, y\in\mathbb{C}$
Consider $x = i$
Then $x*x = -2$, $x*x*x = 3$, $x*x*x*x = 8$ but $(x*x*x)*(x*x) = 13$ and $x*(x*x*x*x) = 63$
i edited the question
-6
Q: Show that If $x^3 x = x^2 x^2 $ then $x$ is power associative?

mickIntroduction : Power associativity is a property of a binary operation that is a weak form of associativity. An algebra (or more generally a magma) is said to be power-associative if the subalgebra generated by any element is associative. Concretely, this means that if an element $w$ is performed...

hope it was worth my time
@mick read what I just wrote, it doesn't hold for a magma in general, you should use distributivity here somewhere in an essential way
what do you guys think ?
@Jakobian but wikipedia does not use distributive so is that not a contradiction ?
@mick huh? It talks about algebras
and they should be distributive with respect to multiplication
yes , magmas are more general then algebras
21:49
?
the wiki defines power associative for algebras or magmas , but then continues with a criterion for algebras only ( non magma i believe )
so your magma counterexample is not an algebra counterexample
it is interesting though
that was the point
ah ok
21:52
to show it's not enough if we just take a magma
because Ted Shifrin asked about this
yes interesting, but not sure if that helps me
well, it's always revealing that we need to use some extra structure maybe in an essential way
my apologies i thought you assumed a mistake on my behalf
@Jakobian yes
@Jakobian i do find that not a kind of product , but yes it a binary operator
anyway
how do you like the edit of my question ?
it's ok ig
thanks for the comment , i gave a +1
Jacobian I would write x * y instead of xy , otherwise it seems like a polynomial or multiplication rather than some operator ... but that is maybe just my taste ..
22:01
I like to write it like that
@mick I think you're misinterpreting the statement on wikipedia. You need to have those identities for all $x$ not just a single one
that'd explain a lot
yeah, they say "identities" which means for all x
hmm maybe
so for all x in the algebra it must be true
I'm going to delete my comment oof
22:04
@Jakobian why ?
Lemma 3 is what you want (if you assume this for all x)
Because it's wrong. Identity is a concept from universal algebra and it should hold for all x
@LukasHeger the link in the wiki ? yes , but i did not understand it
@mick then maybe you should make your answer about understanding that proof, or at least mention it
it's quite probable that the task of understanding and explaining that proof is easier than coming up with a proof on one's own
I UNDERSTAND it must hold for Jordan algebra's but I DO NOT know how to test for jordan property easily nor How this is suppose to make the non jordan cases work
22:08
the paper I linked is not about Jordan algebras
@LukasHeger I assume a start over and short proof would be more helpful and I assume it exists ...
today I've proved, with some little help, that locally compact, totally disconnected spaces are zero-dimensional
on page 553 "..jordan algebra or associative algebra .." is mentioned. @LukasHeger
I'm kind of proud of that one
@mick chapter I, lemma 3 has what you want and it's not just about Jordan algebras
22:11
congrats jakobian , but it seems intuitively true to me.
or maybe that is a misunderstanding by me.
not trivial to prove though
huh, why
@LukasHeger sec i go look. maybe true , but i need to understand it too
@Jakobian because disconnected has no area or length.
so measure 0 implies 0 dimensional ?
even when uncountable
there are 1-dimensional totally disconnected spaces
@Jakobian second plz im gonna read what lukas suggested ...
@Jakobian could you give an example ? im weak at that kind of math sorry
Elements of $\ell^2$ with rational coordinates, so called Erdos space
22:18
ok i do not understand the proof of chapter I lemma 3 , i mean I SEE it stated , but then immediately they continue to lemma 4 ?? so it followed from the above ? or was left as an exercise ?? Im confused
@LukasHeger
@mick I'm not claiming that I understand the proof either
Hi guys, how are you? Pls, can someone give me some tip about find a limit of partial sums of a sequence?

Suppose you get whatever sequence and you want to calculate the value of the series.

My solution to this problem: First, I need to find a specific formula to the partial sums extracted by the general term and calculate your limit. If the process fail in some step, the serie diverges, else converges.

Am I right about this way of thinking?
@Jakobian link ?
In mathematics, Erdős space is a topological space named after Paul Erdős, who described it in 1940. Erdős space is defined as a subspace E ⊂ ℓ 2 {\displaystyle E\subset \ell ^{2}} of the Hilbert space of square summable sequences, consisting of the sequences whose elements are all rational numbers. Erdős space is a totally disconnected, one-dimensional topological space. The space E {\displaystyle E} is homeomorphic to...
look what reaction i got now from my edit
You report everything you say twice, and occasionally repeat again. This is no improvement to your original post; it's an attempt to occupy space by regurgitating things you've already said multiple times. The point is not whether it is homework or not. Good questions can be homework. You say this is not homework. Okay. But is is not a good question, regardless. You've been on this site for 9.5 years. But you ask questions like you joined this site one month ago. –
amWhy
4 mins ago
:/
you see it is apparantly NOT an improvement , so i guess i wasted my time afterall :/
@TedShifrin
@Jakobian
@LukasHeger
on the other hand amWhy has always been hostile to me :/
why is it not a good question ??
22:29
@mick I think lemma 2 solves your issue, if you apply to a commutative ring of char 0, you get power-associativity
amWhy is always hostile to me. over 9.5 years
@LukasHeger but it is stated for nonzero char ?
ok let me see
@mick the paper defines prime to characteristic in such a way that char 0 is prime to every n
i still dont get it :/
I regret editing , it did not help , soon it will be closed again pfff
amWhy already voted for delete
*angry and sad noises *
so the identity (3) from which Albert derives the lemma reduces in the commutative case to:
$12(xy)(zw)=x(y(wz)+w(yz)+z(wy))+y(x(wz)+z(xw)+w(xz))+z(x(yw)+y(xw)+w(xy))+w(x(yz)+y(xz)+z(xy))$
Guys pls, help me with my question
22:42
@mick why not ask a question that seeks clarification and simplification of Albert's proof?
@MatheusSousa your question is very general. specific sums or limits have specialized methods or some generalized methods exist.
@LukasHeger why 4 variables ? i was simply starting with x ?
@mick Yeah, I know. But I'm asking if I can consider this as a general method to solve the problem.
in the end the variables are specificed to certain powers of $x$
@Matheus No. You cannot always find an explicit formula for the partial sums.
@MatheusSousa i agree with Ted here
btw that does not seem the easiest way
@TedShifrin i edited my question , but amWhy gave a very hostile comment and voted to delete ...
SO that did not help :/
22:47
The reason I asked my question earlier, mick, is that you need to use the underlying addition as well as the multiplication. So introducing several variables (like for the binomial theorem) may be needed.
you mean like x ( x y ) = x ^2 y ?
No, you need addition as well.
i dont get that
why addition ? we are using powers only
And you are stuck.
yes i am
still confused
so (x+y)^7 = (x+y)^2 (x+y)^5 ??
why ?
22:50
I was too, when I tried and asked the question. It’s the algebra structure. Having a not-necessarily associative group isn’t going to do it.
i dont know what to say or what you are talking about
sorry
Having played just with one operation, I couldn’t get it either.
how does adding a second operator help ?
Well, you have wasted our time, so don’t resent your wasted time.
sorry
it was not my intention to waste your time
22:53
why is it stated fir an algebra?
it does not hold for magmas
jakobian showed that here in chat
wiki states it for algebras only if you read carefully
You have to use more than one operation, therefore.
@TedShifrin do you agree with amWhy ??
Ok, Thanks @TedShifrin and @mick. You helped a lot. :D
Lukas already told you what to read for the proof, so go do it.
22:55
@MatheusSousa i barely did anything
@TedShifrin i did , but i did not get it
Then ask specific questions about that proof.
i do not know what to ask
@mick No, mick. I'm merely being honest, and you whined your way to reopening a post that should have remained closed. Please don't expect users here, or on site, to continue to spoon feed you. Bottom line, you've created the circumstances you're dealing with right now.
@Matheus We can often only prove convergence by comparison or by the Cauchy criterion. We do not necessarily find the limit.
@amWhy talking to you is always nonconstructive
always trying to make me feel bad
saying im useless and my questions are useless
22:58
If you have a proof of a theorem, you have to learn to read it, word by word and line by line.
14
i added context and definitions , you just say ' not a good question ' , that does not cut it
This is a much deeper result, we now know, than just symbolic manipulation.
00:00 - 23:0023:00 - 00:00

« first day (4237 days earlier)      last day (1079 days later) »