« first day (2568 days earlier)      last day (2750 days later) » 

17:00
@Secret ping me after you come up with anything
hmm wait a sec, how do we actually determine the ordering of these two irrational numbers. do we use lexicographic?

0.100110011001...
and
0.01100110011...

(These two expansions are produced by mapping A and B to 1)
@Secret yes, we do
ok I see
$\aleph_1$: \Bbb{R} open interval topology
x=0.bbbbbbbbbb...
why $\begin{pmatrix}2 & 0 \\ 1 & 2\end{pmatrix}^n=\begin{pmatrix}\text{not important}& \text{not important} \\ n2^{n-1} & \text{not important}\end{pmatrix}$? I've multiplied it three times, and I do not see the idea.
@Kirill no, they aren't "not important"
17:10
@LeakyNun it is clear for me why $2^n=2^n$ and $0^n=0^n$, that is not the question.
$\begin{pmatrix} 2^n & 0 \\ n2^{n-1} & 2^n \end{pmatrix} \begin{pmatrix} 2&0\\1&2 \end{pmatrix} = \begin{pmatrix} 2^{n+1} & 0 \\ n2^n + 2^n & 2^{n+1} \end{pmatrix} = \begin{pmatrix} 2^{n+1} & 0 \\ (n+1)2^n & 2^{n+1} \end{pmatrix}$
Consider two sequences, $a_{n+1} = 2a_n$, $b_{n+1} = a_n + 2b_n$, $a_0=1$, $b_0=0$. Find $b_n$. @Kirill
@LeakyNun is that in the relation to my question?
@Kirill yes
@LeakyNun how have you come to sequences?
Hmm, I still cannot quite see in general why $2^{\Bbb{R}}$ breaks it while $\Bbb{R}$ don't:

In $\Bbb{R}$ a binary expansion is something of the form:
...bbbbbbbb.bbbbbbb...
So moving to the left, it can become unbounded, while moving to the right the importance of the digits tends to zero
There are $\aleph_1$ many possible diverging sequences and $\aleph_1$ may possible sequences that converges to zero, yet for all reals we have no problem telling which is bigger than which

For $2^{\Bbb{R}}$, a "binary expansion" should look something like this:
17:20
@Kirill just solve it
@Kirill $\begin{pmatrix}a_{n+1}\\b_{n+1}\end{pmatrix} = \begin{pmatrix}2&0\\1&2\end{pmatrix} \begin{pmatrix}a_{n}\\b_{n}\end{pmatrix}$
Or else I don't know what sort of explanation you want
@Secret because you don't just need an order. you need a well-order. and you can't construct one for $\Bbb R$.
btw elements of $\Bbb R$ have finite support on the left
@LeakyNun I solve the recurrence sequence, and you give my another sequence. For $a$ is the function $f=\frac{1}{1-2x}, a_n=2^n$. For $b$ comes.
@Kirill no, I was explaining why I gave you the sequence. The two sequences are the same
Do defining lexicographic order need well ordering, or it is the binary representation of some element in the set is the one that need to be well ordered?
@MikeMiller Thanks for the book tip. It seems like much of it is actually explained fairly well in the second lecture of Wednesday of qgm.au.dk/video/mc/soergelkl but it might be interesting to take a closer look at the "real" results at some point
@Secret Lexicographic order has nothing to do with well-order. It works for the product of any two ordered sets
I see, I am currently trying to figure out why it seemed I cannot define a dense linear ordering on $\{0,1\}^{\Bbb{R}^+}$ via lexicographic ordering
I only recall that $2^{\Bbb{R}}$ have no well ordering without AC, but not linear ordering
17:34
@LeakyNun for $b: g=\frac{x}{1-4x+4x^2}, b_n:$ dunno.
@Kirill I'm not asking for generating function
If I tried to define the lexicographic ordering by finding the first pair of elemnts that differ and then x < y, then I ran into the following counterexample:
@LeakyNun that was not a theorem I have to prove, but the question why $n2^{n-1}$ appears in the left down corner in the solution.
1 hour ago, by Leaky Nun
55 mins ago, by Leaky Nun
@Secret $C=\dfrac1{2\Bbb N+1}$ or $D=\dfrac1{2\Bbb N+2}$?
@LeakyNun you said: find $b_n$. In order to do that I need a generating function.
17:37
@Kirill no, you don't
@Secret there is no "first" for there is no well-order.
@LeakyNun Your chat avatar is a very weird shape to me. It's like an extra large rectangle, larger than the others.
@LeakyNun ah ok, and the reals don't ran into that because its binary expansion is countable and hence is well ordered
@TobiasKildetoft you need a well-order on $S$ if you want to define a lexicographical order on $2^S$.
@JasperLoy it's SE failing to load my avatar and replacing it with my name in a rectangle
@LeakyNun Usually Lexicographic refers specifically to an ordering on a direct product
@LeakyNun Do you know why? Have you considered changing it? It's up to you, of course, but it looks very bad to my eyes.
17:41
@TobiasKildetoft direct product indexed by a well-ordered set
@JasperLoy because it's connected to facebook
@LeakyNun Oh I see. What you can do is just upload the picture from your desktop hard drive.
@JasperLoy that's a good idea
@LeakyNun Hmm, where do we need the indexing set to be well-ordered?
ok, @LeakyNun, I don't undertand what you meant.
@TobiasKildetoft when we are finding the smallest element that differ
9 mins ago, by Kirill
@LeakyNun for $b: g=\frac{x}{1-4x+4x^2}, b_n:$ dunno.
17:44
@LeakyNun Ahh, in order for this to give a total ordering, right. I think you can define it without this, but it will not necessarily be total.
@Kirill does partial fraction work? wait, no it doesn't
@TobiasKildetoft we want a total order
@LeakyNun Yeah, I was missing that the obvious definitions only gives a partial order in general
yeah, total order is needed otherwise I see no way we can define something like a "$\aleph_2$ base number system"
hmm, so the infinitely decreasing sequences are the new things that pop up in most higher cardinal sets (that are not isomorphic to the ordinals)...
@LeakyNun $b_n=(n+1)2^n$
@Secret You don't need higher cardinalities for that
17:47
@Kirill I still don't think you need to use generating function. For example, $b_3$ = $a_3 + 2b_2$ = $a_3 + 2(a_2 + 2b_1)$ = $a_3 + 2(a_2 + 2(a_1 + 2(a_0 + 2b_0)))$ = $2^3 + 2(2^2 + 2(2^1 + 2(2^0 + 0)))$
@Kirill yes, wonderful
does that count as an explanation to you?
@LeakyNun surely, not. I have no idea why we had to do that.
25 mins ago, by Leaky Nun
@Kirill $\begin{pmatrix}a_{n+1}\\b_{n+1}\end{pmatrix} = \begin{pmatrix}2&0\\1&2\end{pmatrix} \begin{pmatrix}a_{n}\\b_{n}\end{pmatrix}$
expand that to get our sequence
yes, @LeakyNun, and $\begin{pmatrix}a_{n+1}\\a_n\end{pmatrix}=\begin{pmatrix} 4 & -4 \\ 1 & 0 \end{pmatrix}\begin{pmatrix} a_n \\ a_{n-1}\end{pmatrix}$ was the sequence I was originally solving.
@Kirill lol
where you get the Jordan from as $\begin{pmatrix}2 & 0 \\ 1 & 2 \end{pmatrix}$.
so, do you know how they come to $n2^{n-1} \begin{pmatrix}&\\\text{here}& \end{pmatrix}$?
17:55
@Kirill trial and error
or do what you just did
play with another sequence :P
@LeakyNun what was the object of the sequences you gave me?
6 mins ago, by Leaky Nun
25 mins ago, by Leaky Nun
@Kirill $\begin{pmatrix}a_{n+1}\\b_{n+1}\end{pmatrix} = \begin{pmatrix}2&0\\1&2\end{pmatrix} \begin{pmatrix}a_{n}\\b_{n}\end{pmatrix}$
@LeakyNun I am sorry, if that was an explanation, that I didn't understood as such.
$\begin{pmatrix}a_n\\b_n\end{pmatrix} = \begin{pmatrix}2&0\\1&2\end{pmatrix}^n \begin{pmatrix}a_0\\b_0\end{pmatrix}$
@LeakyNun yes, it is a wonderful equation. And?
17:57
@Kirill that was what you just solved
and when you let $a_0=1$ and $b_0=n$, you can get $b_n$ as the entry you required
@TobiasKildetoft It would be easier for me to have a conversation at some point than watch the video
@LeakyNun sorry I don't understand you.
Wow, my avatar changed since the last time I logged in.
42 mins ago, by Leaky Nun
Consider two sequences, $a_{n+1} = 2a_n$, $b_{n+1} = a_n + 2b_n$, $a_0=1$, $b_0=0$. Find $b_n$. @Kirill
Hi @KarlKronenfeld
17:59
I kind of prefer the old one
@Kirill this was the sequence I gave you
Can't you start with $A_0=\omega_2$, for any pair of elements with no third element in between add a third, call the result $A_1$, keep iterating this process, $A_\omega$ should work
@BalarkaSen Hey!
Hi. In the context of probability theory, a random element is a generalization of a random variable. Is there some further generalization of a random element?
@LeakyNun yes, it was $b_0=0$, now $b_0=n$, I cannot follow.
18:00
@MikeMiller Sure, I can understand that. I think I have a decent idea of what the ideas are now, after watching it, though
(There's some AC needed to show that the cardinality of the resulting set is still $\aleph_2$ probably)
@Kirill when did I say $b_0=n$?
@KarlKronenfeld Long time. How's life?
3 mins ago, by Leaky Nun
and when you let $a_0=1$ and $b_0=n$, you can get $b_n$ as the entry you required
@BalarkaSen Going well. How are you doing?
18:01
oops, that was a typo
I meant $b_0=0$
Then you will get $\begin{pmatrix}a_n \\ b_n\end{pmatrix}=\begin{pmatrix}2 & 0 \\ 1 & 2\end{pmatrix}^n \cdot \begin{pmatrix}1 \\ 0\end{pmatrix}$. But why do they have $n2^{n-1}$? @LeakyNun
@MikeMiller What is still unclear (since this was not explained in that video) is what the decomposition theorem actually says
@Kirill how did you get $(n+1)2^n$ for the sequence?
@KarlKronenfeld Glad to hear. Currently pressed with exams of various sorts.
But quite fine.
In order to figure $a_n$ or $b_n$ out I first have to compute the powers of $\begin{pmatrix}2 & 0 \\ 1 & 2\end{pmatrix}$ and then we are in circle.
@LeakyNun I've tried and then looked in the solution, so very simple.
18:05
@Kirill but it shouldn't be $(n+1)2^n$
@Kirill no you don't, just use my approach
@TobiasKildetoft Hodge decomposition? Lefschetz?
@MikeMiller probably that one, yes
they expand the function I get $$\frac{1}{(1-2x)^2}=(\sum_{n=0}^{\infty}2^nx^n)^2=\sum_{n=0}^{\infty}(\sum_{k=0‌​}^{n}2^k2^{n-k})x^n=\sum_{n=0}^{\infty}(n+1)2^nx^n$$, @LeakyNun
The theorem is that A smooth complex projective variety comes with a "polarized hodge structure" on the abelian groups $H^k(X;\Bbb Z)$. A Hodge structure of weight k on an abelian group is...
@Kirill did you forget the $x$?
18:09
a decomposition of $A \otimes \Bbb C$ into subspaces $V^{p,q}$
w p+q=k
so that the complex conjugate of V^{p,q} is V^{q,p}
@LeakyNun yes, I suppose.
This comes from the Hodge theory of studying harmonic (p,q)-forms and relating this to the complex cohomology
@Kirill then put it back
Glad to see @Kirill and @Leaky are fighting.
@TedShifrin fighting?
18:12
:)
So far I've only needed Kahler. If the Kahler 2-form omega is also integral then you get a further decomposition of the V^{p,q} into "primitive pieces" on which a certain intersection form is definite
@MikeMiller I see. It seems it is the techniques of ams.org/mathscinet/search/… that they are imitating for their purposes here
hello @TedShifrin!
No access right now, link to paper abstract on publisher site?
@LeakyNun I think I am missed now.
18:13
@MikeMiller You gotta get your computer linked so you always have access
So, @Kirill, you've sorted out all the basis change and coordinate change stuff?
@Tobias: Then there are those of us who haven't belonged to AMS for ten years.
I'm at a Japanese dollar store on my phone
(I switched to MAA a long time ago, but now I belong to nobody.)
@MikeMiller Ahh, yeah that would make it tricky
@MikeM: You're in Japan?
18:14
@TedShifrin I have switched to generating functions and normal forms, as I am sure I will get such things tomorrow.
@TedShifrin I am not a member of the AMS, but I get institutional access and link that to my computer
No, but the dollar store is of Japanese origin
Sure, @Tobias. Hmm, I wonder if I could still sign up from the UGA library site. I dunno.
Talking about Lefschetz decompositions? Did any of you see these talks by June Huh about that stuff?
Hmm, I wonder if I get an actual personal login if I sign up as a reviewer with MathSciNet
18:15
LOL, oh, ok, @MikeM. :)
Lefschetz theorems for combinatorial things?
Seems really cool and imaginative
@TedShifrin the question about the change of basis was an essential question that I do not need directly for tomorrow. But the whole concept of terms like $S^{-1}AS$ is there.
@Danu: Sounds like stuff Richard Stanley started in the late 70s.
I understand, @Kirill. I think you understand it better now.
@Danu I am trying to understand this because the ideas of Hodge theory are applied for Soergel bimodules by some people making great strides
18:16
@Tobias This is a lot more algebraic geometry than I'm trained in - I only know the most ancient history
@Danu: Stanley was introducting Hard Lefschetz in the combinatorial setting back in the late 70s. Amazing lectures.
@TobiasKildetoft Is it related to this stuff of Huh?
Hi @MikeMiller @TedShifrin
wow ... hi @Karl ... I thought you had vanished.
@TedShifrin Oh really? Cool! Any specific papers?
18:17
I don't recall, @Danu, but I saw several lectures. He published a few books on it.
@LeakyNun as said, I am lost, sorry. The function I gave you should be correct, but the one from the solution refers to the other function, so the calculation above doesn't refer to our $b_n$.
@TedShifrin Black holes come equipped with worm holes, it turns out.
@Danu If it is it's the other way around: Huh's stuff would be related to this
Interesting observation, @Karl. Are you doing well?
@Danu No, it does not seem like it is related
18:18
@MikeMiller Would it? Huh's stuff is a several years old
@TedShifrin Yeah, stuff is going well.
Common generalization of the very clever algebraists
Are you still an algebraist, @Karl? :)
@Danu The Soergel bimodule story is in a 2014 paper in Annals
"this stuff" meaning the paper Tobias linked
which is older than that
18:19
@TedShifrin Pretty much. I am going into my fourth year of undergrad, and I had an opportunity to do some summer research.
@TobiasKildetoft Huh was giving lectures on this in 2013.
But ok, cool!
Yeah, even you are getting older, it seems, @Karl. So now you apply to grad schools?
@KarlKronenfeld Dayum, you're not a grad student yet?
@Danu The results here were announced in 2012, so they are probably more or less concurrent
Oh, the punster @Balarka stirs.
@Tobias @Danu: I was about to declare it a draw.
18:20
@Danu I was at the conference where the 2014 paper was announced. It caused quite a stir
@Balarka, like you and DogAteMy, Karl started here young.
Well, perhaps not quite that young, but young.
@TedShifrin I suppose so. :)
It seems more likely what's going on is that some ideas of Hodge theory are turning out to be more universally applicable than previously understood
@TedShifrin Yeah I never realized
@TobiasKildetoft Very cool!
18:21
he kind of knows a lot
also yeah he started as a non-ass, unlike me
And to think Griffiths started the VHS game back in the 70s, @MikeM. Actually, perhaps he didn't quite start it. I forget the precise history.
@BalarkaSen Very much so.
in the same way that bits of homotopy theory have a lot of interplay in parts of math that I never would have expected
39 mins ago, by Leaky Nun
9 mins ago, by Kirill
@LeakyNun for $b: g=\frac{x}{1-4x+4x^2}, b_n:$ dunno.
@Kirill you forgot $x$ when you did this:
15 mins ago, by Kirill
they expand the function I get $$\frac{1}{(1-2x)^2}=(\sum_{n=0}^{\infty}2^nx^n)^2=\sum_{n=0}^{\infty}(\sum_{k=0‌​}^{n}2^k2^{n-k})x^n=\sum_{n=0}^{\infty}(n+1)2^nx^n$$, @LeakyNun
@Ted That's past my historical knowledge, or even knowledge of the math :p
What is "the VHS game", anyways?
18:24
Griffiths was very much a trail blazer; Deligne, too.
Variation of Hodge Structures
Ah
Physicists are working on that, a lot
Griffiths and some of his students have a book full of articles on that.
@Danu Unfortunately I was not in China for the conference where Williamson again created a stir, that time by announcing a disproof of a 30-year old conjecture.
Interesting. I would never have guessed.
In fact, in Hamburg next seemster there will be a course on it, by a physicist
18:25
So when do you move, @Danu?
so, $\sum_{n=0}^{\infty}n2^{n-1}x^n$ after removing this $x$, @LeakyNun
@Kirill yes
@TedShifrin I'm planning to move end of October.
and $b_n=n2^{n-1}$
@Kirill yes
18:26
Very different schedule from the US, apparently, @Danu.
Yeah, well semester here starts in October, and they want to already get my degree certificate before even drafting up a contract, so that'll take another month
Makes sense.
At least I'll have some weeks to find a place to live...
thank you @LeakyNun, I'll meditate about that!
18:31
@Kirill you asked for an explanation of the bottom-left corner of $\begin{bmatrix}2&0\\1&2\end{bmatrix}^n$, which is essentially the bottom entry of $\begin{bmatrix}2&0\\1&2\end{bmatrix}^n \begin{bmatrix}1\\0\end{bmatrix}$.
I basically transformed your problem to a sequence, with definition being $\begin{bmatrix}a_{n+1}\\b_{n+1}\end{bmatrix} = \begin{bmatrix}2&0\\1&2\end{bmatrix} \begin{bmatrix}a_n\\b_n\end{bmatrix}$ such that $\begin{bmatrix}a_n\\b_n\end{bmatrix} = \begin{bmatrix}2&0\\1&2\end{bmatrix}^n \begin{bmatrix}a_0\\b_0\end{bmatrix}$.
@Kirill @Leaky: There's an easy way to compute the matrix powers directly. Perhaps you've already discussed this. Write the matrix as $A=2I + J$ where $J=\begin{bmatrix} 0 &0\\1&0\end{bmatrix}$. Then $J^2=0$ and you can easily write down the formula for $A^n$ (because $I$ and $J$ commute, of course).
@TedShifrin hey, that's way easier
@Leaky: This is a simple example of the importance of Jordan canonical form, which you'll learn soon, I'm sure.
@LeakyNun that was good! In the solution they simply say $\begin{pmatrix}2 & 0 \\ 1 & 2\end{pmatrix}^n = \begin{pmatrix}2^n & 0 \\ n2^{n-1} & 2^n\end{pmatrix}$, and I haven't thought it would need an hour to understand why, to be honest.
@TedShifrin thanks
18:37
@Kirill: Read what I wrote, and it will only take a minute.
@Kirill yep, his method is way better than mine
@Leaky: I taught my students to use matrix powers to solve the sequence questions. :)
Canonical form sounds so pretentious, lol. Normal form sounds better, lol.
Shaddup, @Jasper.
@Ted: you see, I still have much to learn about linear algebra
18:39
Sure, @Leaky. No shame in that.
@TedShifrin But normal has other meanings, so maybe canonical is better. =)
@TedShifrin what was the biggest mistake in the videos you made?
I have no idea. I muddled up something I'd never taught before in the very last lecture of the first semester, where I was presenting the isoperimetric inequality (diff geo) done with Fourier analysis.
But that's hardly an essential part of the course.
When I've looked back at a few, I've seen mistakes that no students pointed out immediately, and I was sitting there saying, "No, no, no," but eventually in the lecture I caught it. I just wished they'd caught it fast. :P
well I am here then: $A=2I+J=\left(\begin{pmatrix}2 & 0 \\ 0 & 2\end{pmatrix} + \begin{pmatrix}0 & 0 \\ 1 & 0\end{pmatrix}\right)^n=\sum_{k=0}^{n}\begin{pmatrix}2 & 0 \\ 0 & 2\end{pmatrix}^{n-k}\begin{pmatrix}0&0\\1&0\end{pmatrix}^k$
Math lectures are rarely totally error-free :P
I'm not upset about that.
18:45
@Kirill and then use $J^2=0$
You forgot $\binom nk$.
yes, I've forgotten to type the binom
I'm off to have lunch with a friend. You all have fun without me!
@TedShifrin have a nice day!
> I wonder how many professors stand up there not ever thinking that they would have ever gone through to graduate school, and much less become a tenured faculty member only to give lectures to young kids who are in the same position that they themselves were in years ago. It's a little nostalgic if you really think about it.
@Kirill how is progress?
18:56
$\ldots = \binom{n}{0}\begin{pmatrix}2 & 0 \\ 0 & 2\end{pmatrix}^n +\binom{n}{1}\begin{pmatrix}2 & 0 \\ 0 & 2\end{pmatrix}^{n-1}\begin{pmatrix}0 & 0 \\ 1 & 0\end{pmatrix}=\begin{pmatrix}2^n & 0 \\ 0 & 2^n\end{pmatrix}+\begin{pmatrix}n2^{n-1} & 0 \\ 0&n2^{n-1}\end{pmatrix}\begin{pmatrix}0 & 0 \\ 1 & 0\end{pmatrix}=\begin{pmatrix}2^n & 0 \\ 0 & 2^n\end{pmatrix}+\begin{pmatrix}0 & 0 \\ n2^{n-1} & 0\end{pmatrix}=\begin{pmatrix}2^n & 0 \\ n2^{n-1} & 2^n\end{pmatrix}$
@Kirill nice
cool, @LeakyNun
that was cool, @TedShifrin
@LeakyNun interesting, is it handy to decompose every Jordan form that way!
@Kirill I would say so
because you can group them into blocks
$\begin{bmatrix}A&0\\0&B\end{bmatrix} \begin{bmatrix}A&0\\0&B\end{bmatrix} = \begin{bmatrix}A^2&0\\0&B^2\end{bmatrix}$
where $A$ and $B$ are blocks
and then you can express each block as the sum of a scaled identity matrix and a nilpotent matrix
@robjohn hi
@LeakyNun what would be the English name for a "Jordan-Kästchen"?
@Kirill Jordan block
19:16
@LeakyNun thank you
interesting, are there degenerating functions, too?
19:41
@LeakyNun hey there
@Kirill that would be a process of decomposing, it would seem.
if you substitute a generating function $f$ with $\sum_{n=0}^{\infty}a_nx^n$, is it also allowed to replace $f$ back in terms like $\sum_{n=0}^{\infty}a_{n+1}x^{n+1}$ or $\sum_{n=1}^{\infty}a_{n-1}x^{n-1}$? Or, should $f$ be replaced back strictly when the term $\sum_{n=0}^{\infty}a_{n}x^{n}$ is there?
@robjohn it was really about, if there such a term :) e.g. you call a matrix $A$ as degenerated in Russian, if $\det(A)=0$.
@Kirill I'd call that a degenerate matrix
Degenerate or singular
@Kirill $\sum_{n=0}^\infty a_{n+1}x^{n+1} \neq f$
@Kirill or singular or non-invertible...
the other one is.
If all you do is rename the indices, of course you still have $f$
but if you're going to ditch $a_0$, well, unless $a_0 = 0$ that's something different
19:55
@Kirill however, I was actually just making a small joke.
very small
@SteamyRoot thanks! I always do mistakes there, thanks that you say this. I thought it was the same all the time, as we often have $a_0=0$...
Is an infinitesimal joke, a joke about the ghost of departed quantity?
@TheRaidersofLasVegas or is that a holistic joke?
Hi @robjohn you look so bright and orange.
@robjohn I think you must be that man in the video!
20:39
I do not really have time to prove that now, but are generating functions for a given sequence unique?
20:52
hey guys
Hey @Dodsy!
Hello good sir
21:09
Jasper
you are jason bourne, correct?
@Dodsy Yes, I am that same guy.
The one that killed all those people in the movie?
Yes, Mike.
21:26
Hardcore.
That's what someone else said to me in some other situation yesterday in some other place.
Anonymous
What's the correct way to approach these kind of questions: Show that $\forall x>0$ $x-x^2/2+x^3/(3x+3) < \log (1+x) < x-x^2/2+x^3/3$. I apparently can't use Maclaurin expansion for this as it won't converge for x>1.
Anonymous
Maybe I could write out the difference of two functions and then use derivative test....
Anonymous
That's the long way
I don't think it's going to be that long
In both cases, you should get that the derivative is $\frac{x^3}{p(x)}$ with $p$ some polynomial of order two or less and $p(x) \geq 0$ if $x \geq 0$.
(assuming you subtract the smaller function from the larger one)
21:45
In general, @Blue, the strategy of $f(a)=g(a)$ and $f'(x)\ge g'(x)$ proves $f(x)\ge g(x)$ for all $x\ge a$.
Well said.
Then in this case you're just playing with the geometric series for $\dfrac 1{1+x}$.
You know that expression "always a bridesmaid, never a bride"?
What about it?
looks askance at @ALannister
21:48
How about 5 upvotes, 21 views, but no comments or answers :(
Things on this site are not meant to make too much sense.
"We like your question, but we've got nothing to say about it."
@robjohn Absolute classic. +1.
Sometimes your tone in questions is very defensive and combative, @ALannister, so many people will choose not to attempt to comment or answer.
It's just a site that is slightly better than yahoo answers.
21:49
I don't mean to be blunt, but I was blunt.
I do my best to help when we chat, however.
Just be as blunt as you want, and be as sharp as you want.
What about flat?
We need more sincerity in this world!
Yeah, I realize this.
We need the courage to be who we truly are, deep down inside.
21:49
We certainly need more stupidity and ignorance ... our idiot president isn't enough.
I don't mean to sound like that - I don't read social cues as well as I thinki I do and I definitely don't hear my own voice the way others see it.
5
Q: Prove that $\mathbb{Q}(\sqrt{a}+\sqrt[3]{b}) = \mathbb{Q}(\sqrt{a}, \sqrt[3]{b})$ without Galois theory

ALannisterLet $a,b \in \mathbb{Z}$ be integers such that $\sqrt{a} \notin \mathbb{Z}$ and $ \sqrt[3]{b} \notin \mathbb{Z}$ (the number $a$ is allowed to be negative). I need to prove that $$ \mathbb{Q}(\sqrt{a}+\sqrt[3]{b}) = \mathbb{Q}(\sqrt{a}, \sqrt[3]{b})$$ but I cannot use any Galois theory to do s...

Well, I've observed it a number of times, but generally in chat I think we've done fine ...
Do you think if I pretended to be a male, it wouldn't sound like that?
Well, what does "without Galois theory" mean? Surely, I can use field theory. So where do we draw the line? No mention of Galois groups?
Yes, no mention of Galois groups or Galois numbers.
21:52
LOL, @ALannister. That's an interesting point. I've had issues with males, too.
I've seen some similar types of questions asked on here and they all use it.
Yeah, but sometimes when women talk the way men do (which I know I do), they come across as being defensive and combative.
Hi @Alessandro, DogAteMy
Whereas you'd expect a guy to sound that way, because let's face it - we value combativeness in males
Well, @ALannister, being a gay male, I like to believe I'm slightly less insensitive than the typical male. But that's probably wrong :P
21:54
Next profile pic I choose is going to be Tywin.
OK, so you know containment one way. You know $\Bbb Q(\sqrt a+\root3\of b)\subset\Bbb Q(\sqrt a,\root3\of b)$.
I have issues with people.
Or Tyrion
nods at Balarka
But no Jamie. I hate that guy and his stupid golden hand.
21:54
Or rather, people has issues with me.
Back to Math?
Yes @Ted.
I have issues with an orange flavored person.
6
So we only need to show that $[\Bbb Q(\sqrt a+\root3\of b):\Bbb Q]$ cannot be $<6$. Could it be $2$ or $3$ (totally analogous arguments)?
@PVAL Gold.
21:55
@PVAL, most of us have uncountably many issues therewith.
BTW, @PVAL, did you follow my comment and turn your comment into an answer?
Er...okay, why are we looking at the degree of $\mathbb{Q}(\sqrt{a} + \sqrt[3]{b})$ over $\mathbb{Q}$ again?
I commented on that question because I wasn't sure I could give an answer at the technical level of the OP.
To show $=$ instead of $\subseteq$.
Ted, I edited.
Of course, you're right. I got confused.
Tendency to do that...
So, we
21:58
Now that I did, I don't really want to be bothered to do any bookkeeping on this site since the mods don't seem to appreciate when I do it anyway.
@PVAL-inactive That does a disservice to the flavor of oranges.
I haven't read your actual post.
Hi @ALannister
Oranges are tasty.
Yeah there's a bunch of typos I pointed out in the comments @ALannister
21:58
<--- loves blood oranges
Loves blood orange San Pellegrino
we're trying to show now that $\mathbb{Q}(\sqrt{a},\sqrt[3]{b}) \subset \mathbb{Q} (\sqrt{a}+\sqrt[3]{b})$?
Hi @AkivaWeinberger
Well, I'm doing that by showing degrees are equal.
Okay...

« first day (2568 days earlier)      last day (2750 days later) »