« first day (2043 days earlier)      last day (3274 days later) » 

04:01
what happened there
Nah Im wrong
x^3=y intersects x=y transversely
theres no triple point
so how can a tangent line to a cubic have multiplicity 2?
right. restoring my earlier statement: $y=f(x)$ and $y=g(x)$ having a triple point of intersection amounts to $f(x)-g(x)$ having a zero of multiplicity 3
04:02
sorry.
@SohamChowdhury this is wrong as well
for example, here is my question:
Let C be the curve y = x3 (where x takes all real values). The tangent at A meets the curve again at B. Prove that the gradient at B is 4 times the gradient at A.
so, for example, $x^3-0$ has a zero of multiplicity 3 at zero. so $y=x^3$ and $y=0$ have a triple point of intersection
@Semiclassical yes i understand that, but the solution in my book says that the tangent line has the "usual double point of intersection"
I was thinking along the lines of the parabola $y=x^2$ and the x-axis.
04:04
@user19405892 sure. it's the same idea.
So the "perturbation" thing doesn't work?
Your things were already perturbed
They already intersected at 3 points
right, but in the case of the tangent line it has multiplicity 1
unless it is tangent at 0
04:05
it still works. think about starting with $y=0$ and adjusting the y-intercept
which case it has multiplicity 3
Yes, my example was wrong.
@user19405892 No!
The y=x one.
but y = 0 has a triple point of intersection
04:05
a tangent line is a double point of intersection. a regular intersection (where the slopes are different at that point) wouldn't be
to y = x^3
here's something rather generic
suppose you have a function $y=f(x)$ and want to obtain the tangent line at some point $(a,f(a))$
then you're looking for a line $y=mx+b$ such that $f(x)-(mx+b)$ has a zero of multiplicity 2.
Intersection numbers in real algebraic geometry are usually misinterpreted. y=x^2 and y=0 have intersection number zero.
of at least 2
but doesn't the tangent line intersect in 2 places always?
except in y = 0
04:08
the tangent lines of $y=x^2$ all pass through exactly one point of $y=x^2$.
This is re: Soham not re: user.
i am talking about $y = x^3$
to get a regular intersection, you require $f(a)-(ma+b)=0$. to get a double intersection, you further require that the first derivative also vanishes i.e. $f'(a)-m=0$. and when you solve that for $m,b$ you get the usual equation of the tangent line
@MikeMiller Really 2=0 in this case since this is the the intersection form on $\Bbb RP^2$.
You can just complexify everything and get integers though.
@Semiclassical so double point of intersection doesn't mean intersects twice?
04:10
correct.
@PVAL: Don't be cheap, the intersection numbers here just need to be signed.
@Semiclassical what does it mean then?
suppose you start with $y=x^2$ and $y=1$. that has two points of intersection, but each of them are independent.
so you have two single points of intersection
It's just a miracle of complex numbers that the sign is always +.
what is a double point of intersection, i still don't understand
04:12
@MikeMiller The real miracle is that this is true without imposing transversality.
now, suppose you move that horizontal line downwards. then those two points move closer and closer together, but they're still separate. yes?
Fair enough.
Why is the sign for complex numbers always +
yes, @Semiclassical
that continues until the horizontal line passes through zero.
once $y=0$, the two points of intersection collide at $(0,0)$.
04:14
or you can think of it as $y = 0$ is the multiplicity $2$ root of $y = x^2$
that works too, yeah. though i'd phrase it as $x^2-0$ according to the $f(x)-g(x)$ definition from above.
so why do the tangent lines to $y = x^3$ have a double intersection point?
point is, once the two points of intersection coalesce, the origin is at least a double point of intersection
well, take a tangent line (besides y=0)
How would you define $\{0,1\}$ as an object of the category of preordered monoids, $\textbf{ProM}$?
and move it up/down slightly. in one direction you don't get any (real) intersections, but in the other you get two.
04:17
@Julian I wouldnt
Why @PVAL
i am still confused what is an intersection number is, is it the number of the number of places it intersects or the multiplicity?
in this context, it's the multiplicity (of $f(x)-g(x)$ to be precise)
@PVAL I was considering saying that.
so say the tangent line at $P(x_0,y_0)$ to $y = x^3$ intersects the cubic in the other point $B(x_1,y_1)$, why does the tangent have a double point of intersection?
it has 2 points of intersection
04:19
@Julian It does not sound like a gainful activity.
it has two points of intersection, but they're quite different
where does this double intersection point come from
in the second point, the two intersect like distinct lines i.e. different slopes
in the first point (the one where you're drawing the tangent) they have the same slope
oh, right
04:20
@PVAL ^
although, it is possible to have the same slope
Why are all these highschool kids doing topology and analytic gemoetry
and that means that, in the first case, $f(x_0)-g(x_0)=0$ and $f'(x_0)-g'(x_0)=0$. and that means it's a double root of $f(x)-g(x)$ i.e. the tangent line will be a double point of intersection.
do you mean, it's possible to draw a tangent line to a cubic and have the second point of intersection also have the same slope there?
no, but it is possible in a rectangular hyperbola, for example
sure. no objection there.
04:23
@PVAL Ping we when you get what we are talking about
@Julian Its a terribly important skill for a mathematician to realize when you are wasting your time. I'll tell you I have wasted more time than I am willing to admit.
so in that case you'd have a line which is tangent to the curve at two distinct points
i.e. two distinct points of double intersection
@PVAL Ok?
04:24
@Semiclassical how can you tell they are double points of intersection?
because they intersect and the slopes have been chosen to match?
they could be more than double points, i should acknowledge
but they can't be any less than that.
@PVAL So I guess I am not getting help regardless then.
so any tangent line besides $y =0$ to $y = x^3$ is a double root of intersection?
@PVAL: I'm dumb, of course the signed intersextion number is always 0 or 1.
@Julian Well I offered the best advice I had.
04:26
right. and that shouldn't surprise: the tangent line is of the form $y=mx+b$, so $f(x)-g(x)=x^3-mx-b$
@PVAL But I asked how would you define {0,1} as an object of the category of preordered monoids, ProM?
and the only way to have a triple root of that is if $m=b=0$
@Semiclassical How does that mean it has a double point of intersection with the definition you used above
on the other hand, you certainly can arrange for a double root.
I like how this person didn't even bother to try the suggestions.
04:27
$y=f(x)=x^3$, $y=g(x)=mx+b$
yes, and what does that mean?
well, all you need is for $x^3-mx-b$ to have a double root
@Semiclassical Can you tell me the definition again of the intersection number
scroll up
...your first curve is $y=x^3$, and your second is $y=mx+b$
you take the difference between them, and consider what multiplicities of roots are possible.
04:30
how is $x^3-mx-b = 0$?
@PVAL i'll second that. i've said it once, i don't feel the need to say it again.
sorry, but i think i've explained it as best i can. at this point i've invested as much as i'm willing to.
@Semiclassical i've never heard of this definition before or how you have defined it, do you have an article which explains it?
i don't recall. i'm sure i picked it up somewhere along the way.
@PVAL but you said
that it isn't a gainful activity
@Semiclassical Oh I see, so the roots of $x^3-mx-b$ have multiplicity at most $2$
04:37
right.
except if $m =b =0$
And I shouldn't
@PVAL
@Semiclassical And how do we know there aren't any single points of intersection?
we don't. in fact, there has to be at least one (though it may not be real)
by that i mean that, if you draw a tangent line to $x^3$, you'll get a double point of intersection at the point of tangency and a single point of intersection somewhere else
because, well, a cubic polynomial has 3 roots (possibly complex)
and if you've got a root of multiplicity 2, the last one is multiplicity 1.
@Semiclassical Ah I see, so what if we had like $y = x^5$? What multiplicity would the tangent lines have at the intersection point?
04:42
@Julian You are studying things developed to study things you don't know anything about. I think this is almost certainly a mistake of wasting your time (everyone makes similar mistakes). If you want to succeed in mathematics, you should try and recognize when you are wasting your time. I'm not sure I have much else to say on this.
well, if i draw a typical tangent line it's just multiplicity 2. but if i draw it at the origin, it'll be multiplicity 5.
and there's a simple way to see that it can't be higher. to get multiplicity 2, you need an intersection where the slopes also match. to get multiplicity 3, you also need the second derivatives to match.
but the second derivative of a straight line is zero everywhere, and the only place where $y=x^5$ has zero second derivative is at zero.
so the only possible way to get a higher multiplicity is to pick the origin as the tangent point.
my book says that since the tangent line $y=0$ to $y=x^3$ has a triple intersection point as opposed to the double intersection points at the tangencies, it is reasonable to say it meets the curve again at $(0,0)$
on the other hand, if you do a different quintic polynomial then you certainly can have zero second derivative somewhere else. so $x^5$ isn't typical in that regard.
not sure i follow what it's getting at there, aside from the following: if you move your point of tangency to the origin, then the single point of intersection moves to collide with the double point
and thereby forms a triple point.
they are trying to justify why we can also consider $y = 0$ into question
04:49
i don't get what is so "reasonable" about it other than that it is different so maybe we don't have to treat it like the others?
yeah, i don't know.
05:44
Hello all. :)
 
3 hours later…
08:55
hello
is someone here ?
hhh
hhh
09:37
I have this kind of inequalities where I want to determine whether it is transitive or not, the C terms are cut sets of a graph. How is transitivity usually proved in graph theory?
hhh
hhh
10:02
Moved this to
0
Q: Transitivity Proof on graphs: computational or by hand?

hhhI am stuck to transitivity consideration with graphs where $x^a,x^b$ are boolean monomials such as $x_1x_3$ and $x_5$, the cut sets contains $C=\{x^{C_i}=0\mid C_i\in C\}$, $C=\{C_1,C_2,\ldots,C_n\}$, $C_{\alpha/\beta}=\{x^{C_i}\mid \alpha\in C_i,\beta\not\in C_i, C_i \in C\}$ and $C_{\beta/\a...

 
4 hours later…
13:40
Hello!!
When we have a bijective map from $A$ to $B$, does it stand that $|A|=|B|$ ?
Yes.
Ok... Thanks!! :-) @SAWblade
That's actually how we define the cardinality of infinite sets being equal. xD
14:22
So how would we define $2\in\text{Obj}(\textbf{ProM})$?
Where ProM is the category of preordered monoids?
This might be a stupid question but what's $\left\{(-x, 0, 0, x): x \in \mathbb{R}\right\}$? How do I see what is geometrically is?
I think it's a line 'cause it can be written in the form $ax-bx$. It's a line in $ \mathbb{R}^4 $.
@DeMoivre right
14:38
@ypercubeᵀᴹ What's $\left\{(a-x, b, c, x): a,b,c,x \in \mathbb{R}\right\}$?
A line, too. One degree of freedom (x), one dimensional object.
@robjohn Ok... I will think about it again. In order to show that E(t,x) is integrable does it suffice to fix t and show that E(t,x) is continuous for the fixed t and then show that it is also continuous for a fixed x?
@ypercubeᵀᴹ thanks.
${ (a,b,c,0) + x (-1, 0,0,1)}$
(I assume that a,b,c are constants and x can vary. Right?
$\left\{(a-x, b, c, x): x \in \mathbb{R}\right\}$ is a line.
$\left\{(a-x, b, c, x): a,b,c,x \in \mathbb{R}\right\}$ is the whole R4.
It's the set of a solutions to a linear mapping. $x$ is the free variable from the solutions, and $a, b, c$ are constants.
@ypercubeᵀᴹ It's the set of solutions to $\begin{pmatrix} 1 & 0 &0 &1 \\ 0 & 1 & 0 & 0 \\0 & 0 & 1 & 0\end{pmatrix} \begin{pmatrix} x_1 \\ x_2 \\ x_3\end{pmatrix} = \begin{pmatrix} a \\ b \\ c\end{pmatrix}$
It's worrying though I wouldn't be able to tell the difference between a line and $\mathbb{R}^4$.
15:11
I just want to confirm something. Consider the function $f(x)= \sqrt{x}$, am I right in stating that this function is continuous on $[0,\infty)$ but not on $\mathbb{R}$ (since it is not defined for negative real numbers).
Can someone reason with me? I have this question: imgur.com/KSGzerX and if we simplify both sides i find that Quantity A = 1 and Quantity B = -1 which makes Quantity A greater than quantity B, am I right though? Cause they say that it can't be determined.
@JohnJack It is continuous in the whole set where it is defined.
So, it's continuous. Fullstop.
Hey @DanielFischer
I have a question. I want to show that a function f(x,t) of two variables is integrable.
Does it suffice to fix t and show that for a fixed t f is continuous? And then that for a fixed x f is continuous?
@JohnJack But what is your definition of "function f continuous in set X"?
15:33
imgur.com/KSGzerX <-- Any thoughts? Aren't the two quantities the opposite of the other ***
@user2692669 but which is the positive and which is the negative?
@Evinda I can show you many functions that are continuous but not integrable, like, for example $1$ on $\mathbb R$
@ypercubeᵀᴹ $f(x)$ is continuous at $a$ iff $\lim\limits_{x \to a}f(x) = f(a)$. So are you saying that it is continuous even in $\mathbb{R}$ since it is clearly continuous on $(0,\infty)$ and at $0$ we have $\lim\limits_{x \to 0}f(x) = \lim\limits_{x \to 0^+}f(x) = f(0)$ and anywhere else doesn't matter since it is not defined there.
@s.harp What else could we do?
@JohnJack more or less, yes.
@JohnJack Think about a function that is defined only at integers (Z->R). Is it continuous or not?
15:39
@ypercubeᵀᴹ I figured that in the second quantity (w+z) / (z-w) --> (w+z) / (-1) (w-z)
@ypercubeᵀᴹ Which is tha same as quantity A but with a "-" sign in front
@user2692669 ok, but which is the positive? The first or the second?
i say the first , no? :P
-(-1) has - sign in front. It doesn't make it positive.
@ypercubeᵀᴹ I eliminate both quantities by multiplying and dividing with the corresponding letters but maybe that's the problem?
Try out some values (say w=13, z=-7). Then (w=2, z=-8) and see what happens. (and notice that $w+z$ can be either positive or negative)
15:43
@Evinda I don't know any special statement, but then again I don't know much measure theory. It is however also wrong that for all $t$ the function $f(x,t)$ should be integrable wrt to $x$ and for all $x$ it should be integrable wrt to $t$. Consider as a counterexample to that $\exp(-|t+x|)$ on $\mathbb R^2$ which is integrable for all $t$ wrt to $x$ (and converse), but is not integrable on $\mathbb R^2$.
@ypercubeᵀᴹ thank you :)
Hi @MikeMiller
@s.harp Won't it either be Lebesgue integrable?
@ypercubeᵀᴹ Are you asking if a function defined on the integers is continuous on $\mathbb{R}$?
@JohnJack Yeah. Is it?
15:53
@ypercubeᵀᴹ Yes because the limit definition of continuity is vacuously true.
we agree then ;)
@Evinda I don't understand your sentence
@ypercubeᵀᴹ Thanks!
If a function is continuous , it doesn't imply that it is Lebesgue integrable, right? @s.harp
@Evinda right
@Evinda if it is continuous and has domain a compact subset of $\mathbb R^n$, then this does imply lebesgue integrable though
16:00
@s.harp So we should fix one variable and check if it is continous as for the other one?
no, forget continuity!
In my case the domain is a compact subset of $\mathbb R^n$ @s.harp
separately continuous (ie continuous in each argument when the other arguments are fixed) does not imply continuity on the product space
Ok... can I show the function that I have? @s.harp
16:06
$E(t,x)=\left\{\begin{matrix}
\frac{e^{-\frac{|x|^2}{4t}}}{(2 \sqrt{\pi t})^n} &, t>0 \\ \\
0 &, t \leq 0
\end{matrix}\right.$ @s.harp
That thing is continuous
sorry not it isnt
Why not? @s.harp
How can we find $\lim_{t \to 0} \frac{e^{-\frac{|x|^2}{4t}}}{(2 \sqrt{\pi t})^n}$ ? @s.harp
Consider $(x_n,t_n)=(\sqrt{1/n},1/n)$
$E(x_n,t_n)=\exp(-1/4)/(2(\sqrt{\pi/n})^K$
Ok, I will try it in a bit... But it is Lebesgue integrable, right? How could we show it? @s.harp
where $K$ is $n$ in your post, then this sequence goes to infinity
On the other hand something like $(x_n,t_n)=(1/n^{1/100},1/n)$ has $E$ go to zero
I don't think it is Lebesgue integrable
If it were Lebesgue integrable, then fubini would hold (en.wikipedia.org/wiki/Fubini%27s_theorem )
but if you first integrate by $x$ you get something like $1/t^k$ which, depending on $k$, is not locally integrable at zero
16:30
Hi @iwriteonbananas
What is an unbounded operator? Can an operator be a two dimensional matrix?
@MatsGranvik an operator is a linear map between two vector spaces. As such a $2\times2$ matrix can represent the action of an operator on the basis of a $2$ dimensional vector space. An operator $A$ is bounded if there is a positive real number $C$ so that $\|A x\|≤C\|x\|$ for all $x$ in the vector space. If there is no such number then the operator is unbounded.
@Evinda it is discontinuous at $(0,0)$.
@s.harp How is the norm defined?
The norm is part of the data of a normed vector space, the definition of boundedness only makes sense in the case of a normed vector space.
An example of an unbounded operator would be on the vector space given by finite linear combinations of $\{e_n \mid n \in \mathbb N\}$ with norm $\|\sum_n a_n e_n\| := \sup_n |a_n|$, then the operator that sends $\sum_n a_n e_n$ to $\sum_n a_n$ in $\mathbb C$ is unbounded.
16:46
@Evinda $E(0,x)=0$ for $x\ne0$, but for $E(t,0)=\frac1{\left(2\sqrt{\pi t}\right)^n}$ for $t\gt0$.
17:39
@robjohn It holds that $\frac{\partial{E}}{\partial{t}}-\Delta{E}=0$ for $t \neq 0$ and I want to show it.
Is the following right?
$\frac{\partial{E}}{\partial{t}}=\left\{\begin{matrix}
\frac{\frac{|x|^2}{16 t^2} e^{-\frac{|x|^2}{4t}}(2 \sqrt{\pi t})^n- e^{-\frac{|x|^2}{4t}} (2 \sqrt{\pi})^n \frac{n}{2} t^{\frac{n-2}{2}}}{((2 \sqrt{\pi t})^n)^2} & \\ \\
0 &, t \leq 0
\end{matrix}\right.$
@robjohn Or have I done something wrong?
18:08
@Evinda Shouldn't the $\frac{|x|^2}{16t^2}$ be $\frac{|x|^2}{4t^2}$?
@Oh yes, right!!! @robjohn So it should be like that: $\frac{\partial{E}}{\partial{t}}=\left\{\begin{matrix}
\frac{\frac{|x|^2}{4 t^2} e^{-\frac{|x|^2}{4t}}(2 \sqrt{\pi t})^n- e^{-\frac{|x|^2}{4t}} (2 \sqrt{\pi})^n \frac{n}{2} t^{\frac{n-2}{2}}}{((2 \sqrt{\pi t})^n)^2} & , t >0\\ \\
0 &, t \leq 0
\end{matrix}\right.$

Right?
what is \int(cos^2(3x)sin(3x)) dx?
please?
hello
try a sub u=cos(3x) @JoeStavitsky
does anyone know how to add new lines in your code when you are typing an answer? Like it says to do a line break just do two spaces at the end I try that and no line break happens for me.
I think this would prevent the trouble I have on here to with my text/math stuff getting all wrapped up into each other.
@randomgirl, right, then du=-sin(3x)dx right?
18:24
@JoeStavitsky $C-\frac19\cos^3(3x)$
@robjohn; aha, so you claim it's positive!
@JoeStavitsky It can be, depending on $C$
ok, cool. I was afraid I was doing something way off
ty
$du=-3 \sin(3x) dx$ or $\frac{-1}{3} du=\sin(3x) dx$ @JoeStavitsky
@randomgirl, yes, thank you. I was just drastically misreading my book alas
18:30
so hey @robjohn when I'm typing a answer in that latex stuff, how do I put new lines in... I read I just need to put two spaces and it moves to a new line but that doesn't work.
or a line break
if you don't mind answering that is :p
19:18
yo
19:31
@randomgirl $$\text{you mean}\\\text{something like this?}$$
right click on that and show the source in $\TeX$ Commands
The markup language takes two spaces at the end of a line to mean a newline,
but I don't know if that works in chat.
Hmm... it seems to :-) I should try that in a comment.
The \\ makes a line break.
Heya @robjohn.
@TedShifrin: Hey, Ted!
19:51
hey
Hey, @Ted!
hi @Semiclassic, @MikeM
i don't suppose anyone here is an expert on Mathematica's NDSolve command?
Deciding what to teach in 8 minutes.
It appears I'm becoming Will Nelson's private tutor on MSE as he tries to read Chern's lectures :P
LOL ... then stop talking and prepare!
19:53
I might be willing to help if his posts didn't always seem hostile to what he's reading.
@TedShifrin Well, as long as he puts some effort into it
right now i'm starting with something fairly simple, but in such a way as to make future generalization possible
@Tobias: He's definitely putting plenty of effort in. And his posts generally include his thoughts and specific things that confuse/bother him. I have no complaints.
Hi there, do you guys know about some proof that every prime number is in it's own equivalence class?
Huh? @MarkSeygan
19:55
equivalence under what relation?
And it holds that $\Delta E=|x|^2 \frac{e^{-\frac{|x|^2}{4t}}}{(2 \sqrt{\pi t})^n}$, right? @robjohn
any relation that is equvalence
@Semiclassic: I've used it a few times.
kk. here's a brief summary of what i'm trying to do right now, which avoids some complications
@MarkS: How about $x\sim y$ if $x-y$ is even?
19:59
consider the diffusion equation $p_t+p_{xx}=0$ on the domain $(x,t)\in\mathbb{R}\times [0,1]$ with boundary condition $p(x,1)=\Lambda \delta(x)$

« first day (2043 days earlier)      last day (3274 days later) »