« first day (1145 days earlier)      last day (4171 days later) » 

20:00
I notice Zev hasn't been responding to much recently. I suspect he too has burned out.
@TedShifrin There are good and there are bad. I usually find it balances, but I guess it depends on your tolerances.
i don't understand why the question : Where is this question from? as in @Chris'ssis link
@TedShifrin now that's something we have in common :D
Well, I use up a lot of patience with my own students in something like 10 office hours a week. But still ...
Am I making you cranky, @Charlie?
@TedShifrin Nah man! Please.
20:02
Besides, @Peter, all I do is give you more problems to get stuck on :D
@TedShifrin Weeps.
It's like people think this place should be a mathematics oracle. They can demand answers and receive them.
Oh, stop that, silly @Peter
Maybe try and be more of a "badass"?
;-)
Well, then people flag me and get my comments removed, evidently.
I can join @Twink in bannedness :P
wonders if @Pedro's punnometer registered
Did you know Bill D?
20:04
no
@TedShifrin don't take it personal, everyone makes me cranky :)
Why is that, @Charlie?
twink came
@TedShifrin He was a victim of being too nice
Twink was here last night and accomplished some reasonable mathematics, including having me mess up algebra and accuse him of it.
I'm a pretty blunt, direct person, @cyber
20:06
They just do @ted
I'm not banned
Hi pal
Maybe I'll get banned, @Twink :P
Someone already had a comment of mine removed.
Before you get banned, can you tell me why $\lim_{k \to \infty} \bigg[ \big(f(x_1)-f(x_1-1/k)\big)\bigg(\frac{x-(x_1-1/k)}{x_1-(x_1-1/k)}\bigg)+f(x_1-1/k)\bigg]=f(x)$? :S
You're not being helpful, @Charlie :D
Yikes, @Twink.
20:07
@TedShifrin Bill D was banned for 365 days
I don't know if it's possible to get that
@TedShifrin I was suspended once, for 30 minutes
Banned for 365 days for being nice?
because on the left side, $x$ is no evaluated in $f$
simplify it @Twink
20:08
@TedShifrin Basically
Do we know $f$ is differentiable at $x$, @Twink?
Draw a picture of what's going on in that scary formula.
no it's not
it's only continuous
@TedShifrin I have a small patience bag
the part between [ ] is the segment that joins two points
Are you sure there are no typos in that, @Twink? Shouldn't it be $f(x_1)$? No, that doesn't make sense either.
20:09
$f(x_1)$ and $f(x_1-1/k)$
I think I'll ban myself @cyber.
can you do this ?
hahahahah
don't ban yourself
:(
please
Is @TedShifrin the only one can help you here ? :-)
@Twink: That statement is definitely wrong.
20:11
:(
@what'sup: Most definitely not.
let me check it
@TedShifrin sure
@TedShifrin comments get deleted for various reasons. Where was this one?
For $f: \Bbb R \to \Bbb R$ I defined
20:13
So we're doing linear approximation by secants approaching the tangent line at $x_1$, @Twink. If $f$ is differentiable at $x_1$, those approach the tangent line. But there's no reason $f(x)$ should have anything to do with what the tangent line at $x_1$ is.
$$\gamma_{a,b}(x)=(f(b)-f(a))\Big(\frac{x-a}{b-a}\Big)+f(a).$$
it's the segment of line that joins 2 points
On the posting of the question of the person who asked in here for help and ignored my response ...
$(a, f(a))$ and $(b, f(b))$.
@Twink I was about to ask if that was supposed to be "cement" or "segment" :-)
@robjohn: math.stackexchange.com/questions/501378/… He's now removed his own second comment asking someone to help him.
Yes, @Twink. Now what?
20:15
$f$ has jump discontinuities on $x_1$ and $x_2$
I wanna find a sequence of continuous functions which converge to $f$ pointwise
I defined:
$$f_k(x)=\left\{\begin{array}{rcl} f(x) & \mbox{si} & x \in (-\infty, x_1-1/k), \\
\gamma_{x_1-1/k, x_1}(x) & \mbox{si} & x \in [x_1-1/k, x_1], \\
\gamma_{x_1, x_1+1/k}(x) & \mbox{si} & x \in [x_1, x_1+1/k], \\
f(x) & \mbox{si} & x \in (x_1+1/k, x_2). \end{array} \right.$$
Oh, so you made this up. It wasn't a problem you were given.
where $\gamma$ is defined as above
it's clear that if $x \in (-\infty, x_1-1/k) \cup (x_1+1/k, x_2)$, then $\lim_{k \to \infty} f_k(x) = f(x)$.
but if $x \in [x_1-1/k, x_1]$
Draw pictures for starters. I guess you have. Do we know if $f$ is continuous from the left/right at $x_1$ and $x_2$?
20:18
I have to prove that $\lim_{k \to \infty}f_k(x) = \lim_{k \to \infty} \gamma_{x_1-1/k, x_1}(x) = \lim_{k \to \infty} \bigg[ \big(f(x_1)-f(x_1-1/k)\big)\bigg(\frac{x-(x_1-1/k)}{x_1-(x_1-1/k)}\bigg)+f(x_1-1/k)\bigg] = f(x)$
I drawed a picture
Wow, you did.
but what I want is to prove it analytically
I want to prove tha last equality
$=f(x)$
Do you know if $f(x_1) = \lim_{x\to x_1^+} f(x)$?
no
it's only in the drawing
it has a jump discontinuity
but I don't know which sided limit exists
Don't use the point $(x_1,f(x_1))$ in your functions, then.
Do we know $x_1$ and $x_2$ are the only discontinuities?
20:22
no it's a finite set of discontinuities
You definitely have a workable idea. You want to "bridge the gap" where $f$ has a discontinuity, and your approach is good EXCEPT for using $x_1$ as one of your points.
it has to be like that
it's in an article
finite set, fine.
What has to be like that?
I have to take 4 math classes next semester, which of these do you reccomend:
20:23
page 4
Yes, the discontinuity set of a pointwise limit of continuous functions is an interesting question.
what I just wrote is in page 4
but maybe I misinterpreted it
how to know that someone i just met him is a physician ?
@what'sup: ask him?
Cause I put $$f_k(x)=\left\{\begin{array}{rcl} f(x) & \mbox{si} & x \in (-\infty, x_1-1/k), \\
\gamma_{x_1-1/k, x_1}(x) & \mbox{si} & x \in [x_1-1/k, x_1], \\
\gamma_{x_1, x_1+1/k}(x) & \mbox{si} & x \in [x_1, x_1+1/k], \\
f(x) & \mbox{si} & x \in (x_1+1/k, x_2). \end{array} \right.$$
20:25
Oh, I see. We want the pointwise limit to be $f$, so, yes, you have to do what you did.
with $$\gamma_{a,b}(x)=(f(b)-f(a))\Big(\frac{x-a}{b-a}\Big)+f(a).$$
but he doesn't write that, so I don't know if it's correct
I want to prove that $f_k$ converges pointwise to $f$
good bye now thanks @FernandoMartin
You know that's the correct formula for a linear function joining the two points. So you're ok. When you posted your original question, you didn't specify where you wanted your $x$ to be. That's why I dismissed it. You only want $x$ to be near and to the left of $x_1$.
@FernandoMartin LOL.
20:28
@FernandoMartin @Peter: That sure was an off-the-wall question.
@TedShifrin Ah?
@TedShifrin: Not sure what that means.
Totally strange question what'sup asked.
@FernandoMartin No does.
"Not sure what that mean*s*."
I said for $x \in [x_1-1/k, x_1] $
20:29
The "does" goes in the verb, so to speak.
Right. My English is reaaaally rusty.
You the official English instructor, @Peter? :D
Well, what's $k$ in that, @Twink? It keeps changing.
When I was a kid, teachers called it "the super S". We even had a cool drawing of it with a cape.
@TedShifrin that comment was removed by flags, not a moderator.
20:30
do I have to take that into consideration?
@cyberskull You mean "educated"?
Flags because I was being abusive, I take it ? :)
that $x$ is near $x_1$ and on the left?
@PeterTamaroff An educated GN is still a GN.
yes but before taking the limit, $k$ is fixed
20:31
So what is the graph of $f_k$ to the left of $x_1-1/k$, @Twink?
Telling someone to try something intelligent is now a flaggable offense, @robjohn? smh
$\lim_{k \to \infty}f_k(x) = \lim_{k \to \infty} \gamma_{x_1-1/k, x_1}(x) = \lim_{k \to \infty} \bigg[ \big(f(x_1)-f(x_1-1/k)\big)\bigg(\frac{x-(x_1-1/k)}{x_1-(x_1-1/k)}\bigg)+f(x_1-1/k)\bigg] = f(x)$
@cyberskull There is no such thing as an uneducated GN.
@PeterTamaroff Who says?
(what's a GN?)
it's a line
20:33
That's what I was wondering, @Fernando
@cyberskull Common sense.
a segment of line
no, I don't think so, @Twink ... to the LEFT
ohhh, I thought we were talking about physicians.
I need to go back to preparing my class.
20:33
it's just $f$
@PeterTamaroff Common sense is NOT so common
Exactly, @Twink. That answers your question :)
No I already knew that
I have to prove this on the interval
Then you've proved pointwise convergence, if you think about it.
to the right
20:34
@cyberskull Heh, OK.
Same argument applies to the right. And what happens at $x_1$?
A little too made up, but I will give you that.
agreed @cyber
I don't know which argument
and mathematicians generally have very little common sense
20:35
I need to prove the equality
the argument we just talked through ON THE LEFT works also on the RIGHT :)
Think about the definition of limit, not the formula.
OK, I need to get out of here. Plus, my blood is still boiling at being flagged and deleted for giving intelligent advice but making it clear I was annoyed at the person for ignoring me. I've learned my lesson.
@TedShifrin I seconded you.
Will you get flagged and deleted, too?
cool down pal
20:37
I've helped him in chat before, so I'm surprised by this. But ... never more.
I'll stick to torturing @Peter and my own students :P
live and learn
who is that person @TedShifrin ?
Never mind, @Twink.
I've made enough friction over this by now.
It's almost time for a drink :P
you drink?
LOL, @cyber. Um, yeah.
20:38
icic
You think all mathematicians are teetotalers? :D
Not the ones I know !! :D
@cyberskull What? Nope!
fair enough
20:39
Nor the students! :)
Hi @Charlie :P
@Twink: Here's an analogous problem. Think about the sequence of functions that start at $(0,0)$, go up to $(1/2k,1)$, back down to $(1/k,0)$ and then are $0$ all the way to $x=1$. What is the pointwise limit? Proof?
On that note, I leave you to ponder. Bye, all.
thanks, ciao Ted
hi pal
@cyberskull
41 mins ago, by cyberskull
Hi pal
@Twink You made me wait 41 mins?
:-( I'm sorry, I didn't see that
20:50
OK np
how do you paste older messages here pal?
You drag them down into the message box by clicking and holding on to the left side of them.
I gotta go, see you all later @Charlie @Twink et al
Hi @cyber
ok bye pal
thanks
20:56
Anyone that can help me with upper limit topology?
35 secs ago, by Twink
ok bye pal
:D
@NikolajKyed What's your question?
Oh god, you have the exact same avatar as Twink does..
@KarlKronenfeld I need some help with my homework, or someone who can give some advice on if what I've is correct or not
@NikolajKyed ok
Bye @cyber
20:59
@KarlKronenfeld Should I post a link here to my qeustion or is there and easier way for you to find it? If you want to help that is...
@KarlKronenfeld Okay you did find it.
"there good there are bad" and the ugly, of course, @robjohn
@NikolajKyed What does you mean by $|x_n\ge x|$?
@KarlKronenfeld it was something our TA gave us to help prove or disprove the limit rules. This is just something that defines convergence in upper limit topology
21:03
@NikolajKyed I just don't get the notation.
@KarlKronenfeld okay let me see if I can explain this. x_n is a sequence, and x is what it converges to.
@NikolajKyed The number of indices such that?
$|x_n\geqslant x|=\#\{n:x_n\geqslant x\}$?
@PeterTamaroff I'm not sure what you're trying to say
@PeterTamaroff Ah, that would make lots of sense.
Because convergence can only break by considering the nbhd (y,x]
Oh okay, the first question in the assignment is to prove that N(x) is a neighborhood topology on R.
21:13
@KarlKronenfeld Hey
@TedShifrin Hey
@NikolajKyed Number 5 is actually the easiest. :)
@user38268 Hey
@TedShifrin It could also be that it was part of a comment thread that was removed. I didn't look that closely into the timeline.
@TedShifrin Are you around? I have a question about why $\mathcal{O}(n)$ is an equivariant line bundle
Where $\mathcal{O}(n)$ is the usual line bundle on $\Bbb{P}^1$
@KarlKronenfeld what I find the most difficult is 3 and 5, the 2nd I think is correct.
@NikolajKyed I think everything you have done so far is correct.
21:16
@KarlKronenfeld my issue is that I don't think my argument for 3 is correct. Also can you give a hint on what I should do in 5 to figure it out?
@NikolajKyed For 5, you can argue by contradiction if you want. Suppose $\lim y_n<\lim x_n$ place a point between the two limit values, etc.
@NikolajKyed You didn't really provide an argument for or against 3 in your post, but your result is still right. :)
@KarlKronenfeld Then wouldn't that mean for 5 we can always choose a point b_n>a_n so that the rule is still valid in upper limit topology.
@Chris'ssis Nice question and nice answer. They both get an upvote :-)
@NikolajKyed The rule is indeed still valid in the upper limit topology. You have to say that you can always choose a point between $b_n$ and $a_n$ (in this order) for sufficiently large $n$.
That's the contradiction.
@robjohn :-)
21:25
A cooler way to do this is to note that convergence in the upper limit topology means convergence in the ordinary topology, so that rule must hold.
@KarlKronenfeld Then I will assume I can apply the 3rd lemma because both a_n and b_n converge in the ordinary topology and because I can always choose a point between b_n and a_n for sufficiently large n then it will still be valid in the upper limit topology. Is this correct?
@NikolajKyed You're doing too much work.
The second and third lemmas are only useful for verifying when a sequence converges in the upper limit topology.
You already know they converge.
@KarlKronenfeld So it's enough to say I can choose a point between b_n and a_n for sufficiently large n for which the rule will still be valid? Which makes the lemmas useless in this case?
The only reason the multiplication rule does not hold everywhere is because convergence of the termwise product is in question.
@NikolajKyed What do you mean "for which the rule will still be valid"
The first lemma is helpful for number 5, btw.
@KarlKronenfeld So because I can choose this point it makes the rule valid? As for the first lemma it's only true if a_n and b_n converge in the upper limit topology, but the thing is I only know they converge which does not necessarily mean they converge in the upper limit topology.
21:35
@NikolajKyed I am looking at the end of your message first. We start off by assuming they converge in the upper limit topology.
That's what is meant by the line "If $a_n$ and $b_n$ converges, which of the following limit rules are still valid?" right above the five statements.
@KarlKronenfeld Okay they both converge in the upper limit and therefore also in the ordinary. For 5 you said I could always choos a point between b_n and a_n for sufficiently large n. Following that with the statement from the first lemma the rule is therefore valid in this topology?
@NikolajKyed That's the gist of the argument, yes.
You use the first lemma to change topologies from the upper limit topology to the ordinary topology.
@NikolajKyed Do you know about continuous maps yet?
@KarlKronenfeld I don't think our teacher has covered that yet
@NikolajKyed ok, things are easier to see when you write down the relevant continuous map. Maybe revisit this problem when you learn about them and see if you can find the map I am referring to.
@KarlKronenfeld Okay thanks for the help, I'm not sure if I can construct a proper argument for 5 but I assume my TA will tell me what I did wrong if I have to redo the assignment. For number 3 you said something about it not always being true for the termwise product. In class we concluded that in the lower limit topology it was not correct, but he never explained in detail why. Any hints?
21:48
@NikolajKyed Pick two increasing sequences of negative real numbers and note that the sequence of termwise products is decreasing.
@KarlKronenfeld that did trigger something in my brain. I'm not sure what you mean by an increasing sequence of negative real numbers. Do you mean a sequence {-3,-2,-1}?
@NikolajKyed Yeah, or $-1/n$, something which moves closer to $0$ each term.
@KarlKronenfeld Oh yea now I think I remember. because 0 is not contained in the sequence it won't converge. At least he made an example in lower limit topology wher -1/n does not converge and 1/n does converge
You have it backward: -1/n actually does converge (you should check this) and 1/n does not (because the open set (-1,0] contains no points of 1/n)
@KarlKronenfeld Yes I noticed that one question was to prove or disprove that 1/n converges to 0 in upper limit topology and my answer was exactly like yours. But wouldn't that be the same as to say that the product still converges if both are greater than 0?
21:59
@NikolajKyed Yes, what you said is true.
What if both are less than 0?
Then their product is positive
ok, there's more to it though. Which direction is the sequence of products moving?
I assume the sequences move to the left correct?
Then their product would move it to the right?
22:01
Oh, no, the original sequences move to the right.
This is what lemma 3 is saying.
So it's reversed? The original sequences moves to the right and the product to the left?
Yes, that is it.
Now use lemma 2
So because the original sequence is greater than the product sequence, then it does not converge in the upper limit topology?
@NikolajKyed I get a sense you do not really understand lemmas 2 and 3. I will state them in words.
@KarlKronenfeld Correct I I don't undertand them fully
22:05
Lemma 2: "If a sequence has a decreasing subsequence (moves to the left), then the sequence does not converge in the upper limit topology"
Lemma 3: "If a sequence converges in the original topology and overall it is increasing (moves to the right), then it converges in the upper limit topology"
Okay that made it very clear. the product is the subsequence. So if the subsequence is increasing it will indeed converge in upper limit topology. Correct?
And reverse if decreasing.
The product is a new sequence.
And it converges in the usual topology (I accidentally said "original" topology earlier).
Does that I mean I should consider a_n and b_n as subsequences?
Subsequences are things like: 1/2,1/4,1/6,1/8,... is a subsequence of 1/1,1/2,1/3,1/4,...
1/9,1/81,1/256,... is a subsequence of 1/n^2
They are infinite pieces of the original sequence.
In your problem, you have three sequences, none of which are subsequences of another: a_n, b_n, a_nb_n
So because the original sequences move to the right and the product move to the left lemma 2 states they won't converge in upper limit topology? Sorry if I seem confused but I really want to understand what's happening.
22:14
@NikolajKyed Yes, that is the main idea. You just have to formalize that idea (in symbols).
It will be very good for you to figure this one out on your own. You have to decide how to use the lemmas to formalize what you are thinking.
(Use the lemmas in their symbolic forms, my statements above are for intuition only)
Forgive me if I'm wrong: For lemma 3 |x_n > x| < infty and because a_n and b_n converge in the usual topology for which a_n and b_n < a and b respectively then a_n and b_n converges in upper limit topology. However if a and b < 0 then lemma 2 states that a_n * b_n does not converge in the ordinary topology.
@NikolajKyed It is given that a_n and b_n converge in the upper limit topology.
You have to decide whether a_nb_n converges in the upper limit topology.
@KarlKronenfeld Then they will converge as long as the value they individually converge to is greater than 0.
@NikolajKyed What will converge?
a_nb_n will converge
22:25
Yes, you are right, then.
Okay thanks, sorry for the confusion but I want to understand this. I should be able to figure out 5 now after what we just discussed. Have a good evening or day wherever you are now from :)
@NikolajKyed You are welcome. Have a good evening or day wherever you are from too.
23:01
Is a point an interval? Ie. an interval with no length? Or is it simply not an interval?
@sonicboom $[a,a]$
@Chris'ssis Let's see if you like this one.
If $0<\eta<1$ and $\nu\in\Bbb R$; then $$(1-\eta)^3|1-\eta e^{\nu i}|^4|1-\eta e^{2\nu i}|^2<1$$
@user38268 Yo Ben.
@PeterTamaroff OK cheers
Anyone familiar with Bernoulli Space? Ie. a sequence of either 1s or 0s (coin tossing). I am wondering does this space only include infinite sequenes of 1s and 0s such as 1, 1, 0, 0, 1, ...? Or does it also include finite sequences of 1s and 0s...such as the set sequence 1, 0, 0, 0, 1?
23:40
@TedShifrin Hey.
Hi, @Peter.
@TedShifrin OK, I am done with Lindelöf + Regular = Normal.
Mazltov :P
So, I should carry out the Euclidean construction?
Or find a math proof or finish the 4 skew lines :P
23:46
Damn those skew lines. I cannot do it.
@Peter ... You're never a quitter!
@TedShifrin I cannot do it, today?
LOL, better.
I don't understand something.
Skew lines are those whose directions are all non parallel yes?
Yes.
And non-intersecting.
23:49
@TedShifrin OK. So now, take $z=xy$; and add a skew line to that.
That is, a line not in it?
I am thinking about considering the tangent planes to it along some good line or something.
I don't know.
You're being too difficult.
That's the case when one knows little about something, yes.
Just take a totally general line in space. How does it interact with $z=xy$?
23:53
@TedShifrin mazel tov two words:)
I apologize @Charlie :P
I don't know Yiddish officially :P Just bits and pieces.
@TedShifrin apologies accepted
@TedShifrin it's not yiddish, it's hebrew
Isn't it both?
@TedShifrin no
hmm ... well, my parents and grandparents spoke occasional Yiddish, never Hebrew that I knew of
23:57
@TedShifrin I think I got it.
I'm leaving in 3 minutes @Peter :D
@TedShifrin so they speak yiddish, not hebrew hehehe
After you have it, @Peter, I'll tell you the fancy way most mathematicians know how to solve it.
@TedShifrin $$\left( {t{v_2} + {w_2}} \right)\left( {t{v_1} + {w_1}} \right) = t{v_3} + {w_3}$$ always has a solution in $\Bbb C$.
How many?
23:59
@TedShifrin Two.
Aha ...
Yup. And how does this answer the question? I'll check in later :P

« first day (1145 days earlier)      last day (4171 days later) »