« first day (4218 days earlier)      last day (1100 days later) » 

00:09
@Xander: Instead of "parent" and "child," would you prefer "chicken" and "egg"? :D
@TedShifrin Sure... but then "What do 'chicken' and 'egg' mean here?"
@TedShifrin Parent comes before child, but which comes first: the chicken or the egg?
@amWhy Yes.
@XanderHenderson Surely the parabola is the egg :) It would be clearer with an ellipse.
00:21
what is the meaning "Is $\mathbb Q$ over $\mathbb Z$ a vector space?"?
@Koro Vector spaces are defined over fields
$\mathbb{Z}$ isn't a field
$\mathbb Z$ is not even a field!
Module
koro: a vector space is, among other things, an abelian group. do you mean the quotient group $\mathbb{Q}/\mathbb{Z}$?
you're looking at modules
00:22
Leslie might be right…over = mod
note i'm not trying to answer the question, just to figure out what the question is
No, I don't mean a quotient group. So in this exercise there are lots of S over F, where whether S over F is a vector space or not and then dimension is also to be stated e.g.: is Q over R is not a vector space (not closed under scalar multiplication), C over R is two dimensional vector space etc.
OK. then the answer is a quick no. there's no "vector space" over something that isn't a field.
it's still a no if you're asking if there's some way of defining a scalar multiplication on Q/Z that would turn it into a vector space over Q, but that's a different story.
thanks a lot :).
it satisfies all of the various axioms that it would need to, with multiplication defined in the obvious way, but Z fails to satisfy the condition that it is a field. so Q is a Z-module (as is any abelian group) but not a vector space over Z.
00:58
0
Q: A curious Mellin pair

geocalc33While thinking about the relation: $$\zeta(s)\Gamma(s)=\int_0^\infty \frac{x^{s-1}}{e^x-1}~dx $$ I started with a Mellin transform on bounded support: $$ f(s)= \int_0^1 x^{s-1}\bigg(-\frac{1}{e^{\frac{1}{\ln(x)}}-1}-1\bigg)~dx $$ Then the integrand can be rewritten using a series: $$ =\su...

let me know if there are any glaring errors
One puzzling question that I'd like to share: If A is a 4 by 5 matrix and B is a 5 by 4 matrix then what is the determinant of AB?
(assume that all entries of A and B come from $\mathbb C$)
$\det(AB)=i$?
puzzling in that it could be anything.
e to the I pi
01:11
nope geocalc 33.
:(
3 or i are also not correct :(
the squared root of the third decimal place of pi, squared
how is 3 not correct?
koro, det(BA) = 0 but you don't have much control over det(AB).
still not correct, geocalc 33.
consider B the linear map given by (x,y,z,t) -> (3x, y, z, t, 0) and A the linear map given by (a,b,c,d,e) -> (a,b,c,d). det(AB) is, as xander foretold in the prophecies, 3.
and 3 could be any number at all.
so in other words 3 actually is correct
01:15
@leslietownes right.
You're all right.
I messed up the question :(.
xander was more right. he hit on 3 before the rest of us.
determinant BA is to be commented.
and not AB.
One puzzling question that I'd like to share: If A is a 4 by 5 matrix and B is a 5 by 4 matrix then what is the determinant of BA?
(assume that all entries of A and B come from $\mathbb C$)
(corrected version of the question just for the record).
Quick question.... I've done the majority of this, but I realized I didn't show the orthonormal part. So after all the other stuff is done, specifically showing that it is orthogonal I'll have this:

$$\langle v_i,v_j \rangle =
\begin{cases}
0 &, i \neq j\\
\|v_i\|^2 &, i= j
\end{cases}$$

I have shown it is orthogonal, but to show it is orthonormal, I would have to say let $v_i = \frac{v_i}{\|v_i\|^2}$. But I don't know that about the vector.
my EYES
langle rangle
ahhhhh
that's what it was.....
01:23
@leslietownes I'll rangle your langle! (Just don't let it dangle!)
that coulld have many interpretations...none that are clean
Just pick the one you like best.
dc4rd: the inner product of v_k with v_j under that is 1 if k = j and 0 otherwise.
ugh, probably don't wanna use the index i twice
v_k = sum_i delta_{ik} v_i and similarly for v_j
I had written it in terms of delta too intially...I'm trying to think why I thought this just now.
the inner product of v_1 with itself is 1 because v_1 = 1 v_1 + 0 v_2 + ... + 0 v_n and so from the definition of the inner product, v_1 innerproduct v_1 is 1*1 + 0*0 + ... + 0*0
01:27
there
and for indices other than 1 the 1*1 just moves down the line in that sum
Leslie why doesn't your math render properly?
because he doesn't use $$ by choice...
he is an iconoclast
it's very hard to read
I see why I made the mistake........I didn't APPLY the damn inner product....
01:30
geocalc33: not using $$ increases life span of shift key.
yes it reduces wear and tear on my keyboard
or in this case the standard inner product...
we can say that: $v_1=\sum q_i v_1$ where $q_i=0$ for all i>1?
That's what Leslie said.
Now to the thought I was having after I had done this.......After proving this I am saying that under any real or complex vector space with the standard inner product all bases will be orthonormal?
dc3rd: there's no "standard inner product" on an an arbitrary vector space, although if you choose a basis you can use this recipe to come up with an inner product
01:33
well yes that is gram schmidt.
different choices of the basis will give you different inner products, in general, with generally their being no reason to prefer one over the others
yeah, using the fact that scalars that come in writing vector as linear combination of basis are unique.
you see this even outside of the inner product context. you can think of elements of an n-dimensional vector space over F as n-tuples of elements of F, after choosing a basis
@leslietownes ohh... and with regards to that inner product that basis will be orthonormal.
yeah. you can force literally any basis to be an orthonormal basis if you just declare it that way
01:35
another observation is: $a_i=\langle x, v_i\rangle$ due to the way <,> has been given. :)
@dc3rd wrong, of course.
Yes, figured it out a few lines after that. That was why I asked originally, it didn't "feel" right.
Order of quantifiers…
math language spares no space for clutter....so compact and to the point.
also thanks for pushing geometric intuition on to me. In one of my stats classes we were talking about orthogonal contrasts and even though it is not entirely crisp to me, I have been visualizing how the linear algebra ideas you discuss are being used. And it is revealing.
not fully there yet, but I see how the ideas are being used.....has got me excited.
Did I send you that masters thesis on all the geometry/linear algebra in stat?
01:47
no.
Oh, I sent it to Clarinet.
Email me if you want me to send it to you.
That will be my worthwhile. Hopefully I would be able to digest it by the end of summer if my plractice and courses go according to plan
which email address?
Uga addy in profile … the math is not particularly advanced, but it’s saying things that apparently stat people never say.
This was more than 10 years ago. I remember nothing.
ok.....I'll put a bunch of stuff in the subject header so you can know it's me. I'll also just send it from my university email address.
No big deal.
01:54
just sent an email.
Done replied.
no "d" at the end but the rest is the last name.... :)
Thanks for the paper
actually "ed"
Just glancing at the paper I know I'm going to like it. Might even be a good prep for the course I plan to take in the fall.
02:09
Good!
It pretty much breaks down everything you would do up to third year stats from a purely geometric point of view....
It’s always been a pet peeve of mine that stat people don’t interpret anything geometrically, including regression.
From the moment I started working with your text every time I see a concpet I've always tried to "picture" it in some sense. It really gives you an idea of what it is you're trying to accomplish in simple terms....then you can fill in the details....
02:24
Leslie will report you to Big Brother for having been brainwashed.
I'm just more in tune with the dark side of the force.
I think Erik did a good job with exposition.
03:20
has anyone ever not been downvoted?
and asked/answered >100
just got a downvote on a recent question which proves the Collatz (but that's okay because it will go under the radar)
 
2 hours later…
05:13
consider the set $$\{(e^t \cos(t), e^t \sin(t)) \in \mathbb{R}^2: t\leq 0\}$$

I want to show the set is not bounded.

I already showed the case of $t > 0$ not being bounded, by just letting my set be bounded by $t$ and taking a sequence of the terms which would simplify to $e^{2t} > t$. How do I state using the $t$'s properly to allow me to use the same argument? Can I "say" take the a decreasing sequence of integers $\{-1,-2,...\}$?
I think this set is bounded @dc3rd.
Infact, it is bounded by a circle of radius 2 centered at the origin.
@user123456789 I don't think it can be found by merely looking.
it isn't....
take any $t \leq 0$ and you will see the sequence of points will not be bounded. for instance: $e^{-2} > -1$ if we took $t = -1$
shoot i messed up defn' of bounded....but it still isn't bounded...
dc3rd: to me a set S is bounded in R^2 if and only if there exist s in R^2 and d>0 such that ||s-t||< d for all t in S.
well I'm supposed to show the set is compact. so perhaps I need to show not closed actually in this instance
05:26
@dc3rd then you must show this set to be closed and bounded.
because even drawing the pitures...it does "look" bounded
I know that......that's why I'm thinking I have to do the closed condition instead.
It is bounded. The set is set of concentric circles with radii not exceeding 1.
Closed condition doesn’t require much calculation.
yeag you're right now thinking about it more......I think I got caught up in wanting to use what I had from the previous exercise too much
Complement of this set is open and that’s it :).
no the set is not compact I know that. so it must not be closed
05:30
yeah, please ignore my last comment.
Observe that the origin is a limit point of the set.
$0$ is not in the set
was just typing that....
yea I know what I got to argue now.
right:).
was too eager to use what I had from the last exercise......the subtle lessons that Ted teaches without realizing it....
oh, I think I missed the discussion on the last exercise.
no..I didn't talk about it here. it is in his textbook.
just an observation of mine.
05:35
@dc3rd I see. :)
 
2 hours later…
07:38
I have problems proof-reading long proofs.Does someone here have an advice on how to do it more accurately so that I can catch more errors per proof?
07:55
Would this be a satisfactory proof or have I missed the point of the question?
Began reading a new book
This author really likes to use the word "obviously"
08:31
@AkivaWeinberger Singular means its not absolutely continuous.
Continuous means singletons have no mass.
Every $\sigma$-finite measure can be decomposed into a discrete (every point has nonzero mass), an absolutely continuous, and a singular continuous measure.
09:05
@LearningCHelpMeV2 I would approach this by working with two cases: $\sin(x-\alpha)=\sin(\beta)$ and $\sin(x-\alpha)=-\sin(\beta)$ and compute $\sin(x)$ and $\cos(x)$ from there.
However, I think your approach is okay
Can anyone help me with this question?
0
Q: Prove that with given conditions regular functions give regular curve.

unit 1991If $x_i(t)$ $i=1,..,n$ ($n=2,3$) regular functions($k$ times continuously differentiable functions) and $\sum_{i=1}^n(x_i^\prime(t))>0$ $n=2,3,t\in(a,b)$ then $x_i=(x_i(t))$ is equation for regular cuve. Now proof starts with saying that we need only to prove that it is local bijective map.But w...

 
1 hour later…
10:22
@robjohn Thanks rob
@ro
@robjohn can you please tell me where did you get your pfp?
11:04
My most recent question was quite poorly received with a score of -2/0, and while I don't really care about math.se rep and I got good useful answers I would like to avoid asking bad questions in the future. However I'm not sure what was wrong, with the question. Was it that I made a mistake in my own attempt to solve the problem? Or is this some topic I shouldn't ask about because it's been done to death or something. I'm not really sure how to improve.
 
2 hours later…
12:54
What is wrong with this? A=(a,$r_1,r_2,r_3), B=(b,r_1,r_2,r_3)$, where a,b and $r_i$'s are column vectors in $\mathbb R^4$ then det(A+B) is to be found. It is given that det A= 4 and det B=1.
It is clear that b=$c_1a+\sum c_ir_i$, where $c_1\ne 0$. It follows that det B= det ($b,r_1,r_2,r_3)= det(c_1 a+\sum c_i r_i, r_1,r_2,r_3)=det (c_1 a, r_1,r_2,r_3)=c_1 (a,r_1,r_2,r_3)=4c_1=1$ so $c_1=\frac 14$.
$det (A+B)= det((1+\frac 14)a,2r_1,2r_2,2r_3)=\frac 54 \times 2^3=10$.
13:25
You're using $c_1$ for two different things
the coordinate in $a$ and the coordinate in $r_1$
13:39
I meant $b=\lambda a+\sum c_i r_i$ and then we get: $\lambda =\frac 14$.
What makes you think something is wrong with it?
because the answer given is: 40
There's a mistake in the second to last equality
$\det(\lambda a, r_1,r_2,r_3)=\lambda \det(a,r_1,r_2,r_3)=\lambda \times 4=1$
I meant the literal second to last $=$ sign
13:46
$\det(A+B)=\det(a+\lambda a+\sum c_i r_i, 2 r_1, 2r_2,2r_3)=2^3 \det (a+\lambda a, r_1,r_2,r_3)=2^3(1+\lambda)\det (a,r_1,r_2,r_3)=2^3\times \frac 54 \times 4=40$
$\ddot\smile$
I had overlooked $\det (a,r_1,r_2,r_3)$ in the second last equality.
 
2 hours later…
15:27
@4444 pfp?
15:47
@ro
@robjohn yes your profile picture.
16:43
@WheatWizard I don't get it, looks like a fine question to me. some people appear to downvote questions that they don't find interesting, or think are too 'easy' to be worth asking, even if they are asked well. it's weird that nobody explained their downvote in comments.
17:01
what a bunch of bozos
you know you've made it when you have haters. every downvote is a badge of honor
that's why I downvote everyone
to spread the love
good morning dc!
17:20
If $x_i(t)$ $i=1,..,n$ ($n=2,3$) regular functions($k$ times continuously differentiable functions) and $\sum_{i=1}^n(x_i^\prime(t))>0$ $n=2,3,t\in(a,b)$ then

$x_i=(x_i(t))$ is equation for regular cuve. Why here we don't need to prove that inverse of a map is continuous?
do you mean to have a subscript i on both sides of $x_i = (x_i(t))$? what is your definition of "regular curve"? do you have some form of the inverse function theorem?
it seems like there's a proof of something being omitted here, and you're worried about a missing step. what steps are given?
123
123
Hi All...
How to find distance in one dimension motion if object changes position?
Pls see above attachment. I want to calculate distance of curve, here position-time graph.
17:36
123: if you travel 4 units along a line in one direction, and then turn around and travel 9 units along the same line in the opposite direction, how many units did you travel
pretty sure the total displacement on the graph there isn't 3.9, also, but let's ignore that
my book defines regular curve as a curve when every γ(t) point has neighbourhood on which part of a curve can be regular parametrized by $γ(t)=x_i(t)$
Author mentions that we need only prove that map is locally bijective
again i'm wondering if there are missing parentheses
what is 'regular parametrized'
it seems entirely possible that whatever their definition of 'regular' is, it doesn't require looking into properties of the inverse mapping
$\gamma(t)=x_i(t)$ $i=1,..,n$ $n=2,3$ where $x_i(t)$ are k times continuously differentiable functions
this way book defines regular curve
123
123
@leslietownes Thanks for reply. I have already calculate this using this way. But i have equation of motion which gave me displacement not distance.
It is helpful if is there any single formula for calculating distance in my case.
break your time interval into intervals on which the motion is only in one direction. compute displacement on each of those intervals and add them together.
this can involve difficult computation if the equation of motion is complex, because it will depend on the zeros of the derivative of that thing (which might have really ugly formulas)
17:44
@leslietownes Bruh! You can't just go breaking time!
123
123
I did that technique and finally tired in calculating distance.
xander: i can after i ate some of those cacti in the book you recommended
123
123
@leslietownes Let me try again. Thanks
if x: [a,b] -> R describes the position at a time t and x'(t) has finitely many zeros t_1 < t_2 < t_3 < ... < t_n on [a,b], let t_0 = 0 and t_{n+1} = b and compute $\sum_{i=1}^{n+1} |x(t_i) - x(t_{i-1})|$. in your picture example, we have $t_0 = 0$, $t_1 = 2$, $t_2 = 5$ and get $|x(2)-x(0)| + |x(5)-x(2)| = |-3-1| + |6 - (-3)| = 4 + 9$ as above.
the point of a problem like this is probably to get you to read the graph and not work in terms of some general formula
the shape of the graph is completely irrelevant to this, other than that it doesn't change direction between t = 0 and t = 2, and between t = 2 and t = 5.
@leslietownes Oh, dear.
17:52
the real red herring would be to give you a formula for how position depends on time. then some people would apply the arc length formula and compute the arc length of the graph in the time-position plane. this is not a distance traveled (as you could see by noticing for example that if the person never went anywhere, the graph in the time-position plane is a horizontal line which has an arc length that grows with time although the person never moves)
xander: you were recommending those catci, right? also, which one of us is talking?
@4444 I drew it using different programs. I think the last was Mathematica
@leslietownes No.
I most certainly was not.
Quite the opposite, even.
Should I call an ambulance for you?
@leslietownes It's not weird; it is unhelpful, but it is very common, so I wouldn't call it weird.
123
123
@leslietownes Thanks it worked....
xander: no, we're good, i traveled back in time to before i took them.
17:55
Oh, good.
robjohn: yeah, i meant weird in the sense of, "something that in my view would generally require an explanation." certainly not uncommon.
sometimes the reason for a downvote is obvious, but certainly not in the above case.
@leslietownes I do dislike the downvotes to an answer that I think is good and that give no explanation. It is their right to downvote, but it is not helpful if there is no comment to indicate what needs to be fixed.
I hear there's a rumor going around that @Xander is recommending people eat dangerous cacti? ;P
....NOT!!
@amWhy Not dangerous, per se. Just hallucinogenic. And, to be fair, it was not just cactus. There was a vine, too.
@XanderHenderson Ahhh! Sounds intriguing!
18:02
Though the actual topic of conversation was, if I recall, pre-Columbian drug use in the New World.
And Harold Driver's fantastic maps.
I imagine "magic mushrooms" were also collected?
There were a lot of interesting rituals around mushrooms in the New World.
The one I find most comment worthy is an Inuit tradition in which a shaman (who has eaten a lot of mushrooms in his day and therefore has some resistance) would eat shrooms, and others would drink his urine to get the hallucinogenic effect.
One of my favorite scenes in the Frisco Kid (Gene Wilder playing a rabbi, en route to California, with a guide, young Harrison Ford. He teaches a Jewish dance to a tribe gathered around a fire, after smoking/drinking some hallucinogenic.
@XanderHenderson Wow!
18:31
why are they called 'spectral' zeta functions?
is it something to do with spectrum and matrix
@robjohn your profile pictu
@robjohn how do you write the code? to get it? the face is really nice.
@geocalc33 Without context, I don't know.
But one of the objects I work with is a "spectral zeta function" which is related to the spectrum of a linear operator.
The spectral zeta functions I am familiar with are sums (or, more generally, integrals) over the spectrum of some operator.
@XanderHenderson do you work with spectral zeta functions with explicitly known spectra?
Typically, yes.
Kind of.
I generally work with geometric zeta functions, but the spectral zeta function, under appropriate hypotheses, can be obtained from the geometric zeta function (via Mellin transform).
18:50
what are the most common expressional forms that the analytic continuations of these spectral zeta functions with explicitly known spectra can take?
Thanks!
19:22
@4444 Thanks. It's just standard Mathematica code.
 
1 hour later…
20:41
How can i prove that for n>2 we can find n distict positive integer such that the sum of reciprocal is 1?
I read sum prof but I dont understend them. In one i readed that it is necessary prove the existe a,b,m such 1/a+1/b=1/m but why :(
some ^
21:26
@amWhy That movie deserves to be better known. Here's a nice review: forward.com/culture/349138/… "I don't want to hurt you. I just want to make you kosher."
@MarkosAndres David Eppstein has a lot of useful info about Egyptian fractions ics.uci.edu/~eppstein/numth/egypt
22:07
I've been thinking long and hard about how to use the previous parts to show the last part. But I can't think of anything. Any hints please?
22:47
@Learning One of the inequalities follows immediately algebraically from the "show that."

« first day (4218 days earlier)      last day (1100 days later) »