« first day (4207 days earlier)      last day (1111 days later) » 

00:00
@robjohn The integral had already been asked about on the site. I wanted justification for that particular approach.
Ah. Far more sophisticated than SAT here, probably more than achievement tests.
@RandomVariable I know what you are interested in, and I don't know if that answer will necessarily allow the change of integration.
Well, that is a nice integral.
@RandomVariable I might have a way, by using properties of the function $\int_1^\infty\frac{\cos(xu)}u\,\mathrm{d}u=O\!\left(\frac1x\right)$
00:11
hello, how does one use the cauchy-schwarz inequality to minimize a squared distance? specifically, i'd like to use the cauchy-schwarz inequality to compute the distance between two parallel hyperplanes
Why Cauchy-Schwarz? Dot product and projection, yes.
@RandomVariable I have to take an anxious dog for a walk soon, I will write something up tonight.
00:27
@robjohn Will it be a random walk?
At some point, will it converge to a Brownian motion?
 
2 hours later…
02:25
Hola chat
02:46
Hola @Rith
I am grading proofs at the moment, and finding excuses to procrastinate
You’re good at that.
I can be
I graded 35 years or so. I miss it not.
Yeah, I find myself trying to parse a sentence for a minute and trying to be fair that maybe they do understand the concept and are just communicating ineffectively
I can understand why people go for the "if I don't understand it, that's X points off" option
02:52
X = total point value
Hehe, that's how I feel, but I also don't want to discourage a person if they're trying
Partial credit for garbage is what leads to ignorant, incompetent people running the country
You also don’t want to encourage for nothing … if there’s something good, circle it and tell them that part is good.
sometimes teachers give negative marks for wasting their time
@TedShifrin Hmmm, that's something I should probably do more
You need to give helpful constructive advice, not just points
02:55
I do, but I focus on where they went wrong, rather than where they went right
if you have time, do both!
(Another reason I hate when I don't understand the argument, because then I can't give advice in either direction)
Find the place where they lost you and tell them so.
(I could write out what the proof should read like, but I don't have that much ink in my pen, and they probably wouldn't read it anyways)
You could compromise and tell them how to start.
02:59
Thanks for the advice, Ted. It does help to have a strategy to be proactive in grading
@user4539917 I can see this, too. A page long proof for something that could be said in a single sentence can be quite frustrating
True False question. True, prove it. False, give a counterexample. If you're right +10, right answer but wrong argument, +3, wrong answer, -5.
once or twice when i TAed, it was for an instructor who had a really generous partial credit policy that we all had to use.
so you'd have people passing the exam with a C despite not being able to do a single question remotely correctly.
the exam, and then of course the class.
Oh jeez, that's kinda bad
03:16
when left to my own devices in calculational classes, i was not a picky grader if the approach was solid. near full credit even if you were off by a minus sign or factor of 2 every once in a while. but when the 'little stuff' is so bad you can't do a single problem correctly, it shouldn't be like, okay, 60/100 because you always got a little more than halfway on each problem.
which is effectively what that instructor was doing.
03:40
the overall grade distribution should play a role, imo
Sorry for this very absurd question, but is there a system where an element is not equal to itself?
@soupless that seems to contradict the very essence of equality.
Exactly. Is there a system where equality doesn't hold, or that's just nonsense?
Physicist used to say the speed of light was infinity, and this lead to c = infinity.
Does infinity = infinity?
04:12
physicists used to think that light was instantaneous, until they realized it wasn't true
took longer to actually measure the speed of light, but it's not infinite
people do introduce all kinds of relations to distinguish things but i have not seen people do that with the notion of equality. it's too useful to have and you can use some funny symbol or decorate a common symbol to mean something nonstandard.
"A is A"
(the fact that that's an Ayn Rand slogan makes me gag a bit)
some treatments of "infinity" do not give actual meaning to the symbol. calculus treatments of limits are often like this. so the kinds of equalities people write to motivate calculation may not make literal sense at the time they are introduced.
semi: who?
just kidding. i thought it would be funny to say that.
lol
apparently the first person to realize that the speed of light had to be finite, on observational grounds, was Ole Roemer in 1676
his son, Yung Roemer, was a popular rap musician.
04:19
it wasn't a very good initial estimate but it was a starting point. newton was able to do a bit better
(specifically, what they were able to estimate is how long it took light to go from the Earth to the Sun. combine that with the actual distance and you get the speed of light)
what was with the danes and astronomy? did they have particularly clear skies or something?
i've been to that one observatory in copenhagen
41
Q: How would night sky look like if the speed of light was infinite?

Cano64Would it be brighter? Different color? Gravitational lensing? Would black holes exist?

> To everyone voting to close as non-mainstream, I remind that this is exactly the cosmology of Newton's time.
04:46
@robjohn but why?
I say $a=21$.
I say this because $f(0)=0$ (it can be concluded so in this case) and then by subsequent usage of Young's inequality.
@robjohn noted :).
@leslietownes Just before an exercise on proving Young's inequality, it was also asked to prove that: if f is increasing on [a,b], a<b then $\int_a^bf^{-1}=bf^{-1}(b)-af^{-1}(a)-\int_{f^{-1}(a)}^{f^{-1}(b)} f$
But not sure if this is a generalization. I tried to use this in finding the largest value of a stated in the earlier question but it didn't seem to work.
 
2 hours later…
07:00
A novice question, for anyone who cares to answer:
Is 'Sum of Squared Deviations' the same thing as 'Sum of Squares Error'?
(aka 'Residual Sum of Squares')

Thanks.
Most likely.
Screenshot from a book I'm reading: i.sstatic.net/q8vwC.jpg
Ok. Thanks.
 
3 hours later…
10:17
Hello
Is anyone here familiar with the spectral theorem for normal operators on separable Hilbert spaces?
10:49
@Koro Oh, I see that $f^{-1}$ meant the inverse function, not the reciprocal.
@TedShifrin That was not so obvious. I interpreted it as the reciprocal when I read it.
:)
I thought $f^{-1}$ was standard symbol.
Also, $f^2$ doesn't seem standard either as some say that $f^2(x)=f\circ f(x)$
while some may interpret that as $f(x)f(x)$.
$f(x)^2=(f(x))^2$ but for some $f(x)^2=f(x^2)$.
11:29
@Koro I have never seen that.
@Koro The second is just wrong.
@Koro If you write $f^{-1}(x)$ then it is pretty standard, but $f^{-1}$ without the argument is not so much
 
1 hour later…
12:54
Hello im reading some lecture notes where they take a supremum of functions over some set which I am not familiar with : they write $\sup_{f\in \text{mlb.}}$, but dont clarify the notation for the set mlb - what could this stand for
what's the context?
lemma 1.3
sorry that was mbl not mlb
I think bounded from below maybe?
13:22
Is there a term for subsets of $R^n$ that aren't decomposable as the Cartesian product of subsets of $R^m$ with $m<n$?
13:42
I'd be very surprised if there was
@hopper I think they might mean bounded measurable
I was just about to say that after looking at the document
Is it true that if I have a collection of disjoint cycles (elements in $S_n$), then raising them all to the same power keeps them disjoint?
yes.
Cool, thanks. I suspected as much; it's been a while since I've played around with the symmetric group.
if $\sigma_1$ and $\sigma_2\in S_n$, say have nothing in common in their cycle form then their powers will do the same too.
I also want to investigate more into $S_n, A_n$
Espacially finding number of conjugate classes of $A_n$.
We have a formula for that for $S_n$ but for $A_n$, do you know of any way to find number of conjugacy classes?
13:56
Yeah, they're important; they show up everywhere. E.g., Sofic group conjecture, taking a direct limit of the $S_n$ gives you group of all permutation on $\Bbb{N}$ with finite support.
Conjugacy classes are important to think about too.
No, I don't. I think it has to do with the number of irreducible representations of the group, but I don't know exactly.
I read that: if in the cycle form of a member of a conjugacy class of $S_n$ has distinct odd numbers then conjugacy class of the corresponding element for $A_n$ splits in two equal halves.
if this makes sense.
I'm trying to prove that one.
The statement is stronger: it is if and only if actually.
By cycle form: I mean, the length of cycles in non decreasing order. e.g. (123) in $S_5$ has cycle form: 1,1,3 (1 is for 1 cycle; sum is =5).
dtn
dtn
14:23
A useful property is known for symmetric Hermitian matrices, which says that such a strictly diagonally dominant matrix is positive definite.
This property is irrelevant for matrices of the form:
And n>=4
Where n is the order of the matrix. Does anyone know of an equally simple but alternative criterion for such cases? I would be grateful for a hint.
dtn
dtn
14:47
And also, how does the procedure for isolating positive eigenvalues using Gershgorin circles look like?
Obviously, it is not enough that the circles simply lie in the right half-plane
15:13
say you have a structure with addition and mulitplication where the dynamics between these operations are of interest. you combine these operations into a single binary operation. Can the single binary operation encode useful information about the dynamics of the first structure?
15:56
@user193319 I'm not sure what you mean. Disjoint cycles commute with each other
So if $\sigma = \sigma_1...\sigma_n$ where $\sigma_i$ are mutually disjoint cycles, then $\sigma^m = \sigma_1^m...\sigma_n^m$ for example
This is very useful since cycles behave like elements of $\mathbb{Z}_k$ for some $k$.
geocalc: maybe? at that level of generality it seems like anything could be possible. although it isn't clear to me why the number of operations of interest would be more interesting than whatever information they were 'encoding' (e.g. what you would necessarily gain by going from two to one)
note e.g. that all of commutative algebra can be thought of as investigation between the relation between addition and multiplication, as could e.g. the goldbach conjecture. a narrower setting than 'addition and multiplication' might focus the issue
16:17
@leslietownes okay thanks, yeah I wonder if you could formulate say the Goldbach conjecture in terms of the unification of multiplication and addition
my thinking is that one would lose important information
just as one might lose information by mapping higher dimensional points onto a lower dimensional space
throughout the first chapter of these notes math.columbia.edu/~mnutz/docs/EOT_lecture_notes.pdf the author uses the notation $\sim$. Im not sure what it means? Its not an equivalence relation. Because he writes for instance for two measures $g,f$ $g \sim f $
I have seen that notation for random variables : i.e $X\sim Y$ if they have the same distribution
another related question I have is, if a binary operation, say addition, is not well-defined in a particular set, then I think the addition of elements won't necessarily form a nice algebraic structure...but well-defined just means not nice properties. You can still add elements if you wish. Is there a formal argument that says that if addition is not well-defined in a space, then you cannot get an algebraic structure?
for example a group
ignore my question i just googled it.
16:35
geocalc at that level of generality i don't know what to say. it is true that if you assume various axioms ("structure") this can impose restrictions on how operations that those axioms refer to can be defined. the classic example is the ring axioms defining 0 purely in terms of + but the distributive law forcing a value of 0*0.
at the other end if you want a ring to have a certain thing you can often use a quotient object to create one. e.g. if i want something with x^2 = 2 i could consider the polynomial ring R[x] and mod out by the ideal generated by x^2 - 2. and you can more generally force other relations to hold literally in a quotient of a 'free' object. but sometimes it can be difficult to identify what that quotient object is or whether distinct things in the original ring remain distinct in the quotient.
okay thanks
I'll have to think about it more
a lot of computational algebraic geometry involves this kind of thing. it's not easy stuff but a lot is known about it.
What is the standard definition among mathematicians for the summation and Product function.
what does it mean for a mapping to not respect addition?
oh, it means it does not preserve addition
geo i would defer to any homebrew definition in a paper but it likely means just f(x+y) isn't necessarily f(x) + f(y) (where you have some addition on the domain and codomain already)
16:55
does anyone have advice on figuring out areas of math that I like?
perhaps start with your name :P
hmmm... I mean the calculus/analysis classes I've taken so far seemed... I don't know how to put it. But while I learned a lot, I didn't really get what analysts do all day
For example, I have a professor who studies graph theory. And I kind of understand what he does all day. He told me some of the problems he was working on and I understood what the questions he was asking were
now there are other professors who study things like algebraic geometry, commutative algebra, harmonic analysis, etc, etc. I have no idea what they do all day
17:25
One problem with mathematics — compared, say, with biology — is that the field is very old. Although hard classic number theory questions can often be phrased without much background needed, most math research questions are past the level of introductory graduate courses, let alone what we typically teach the best undergraduates.
17:43
a weird flip side of that is the methods used in some of the fields where the problems can be expressed most simply (some number theory, some graph theory, maybe combinatorics generally) are also fields where the research techniques do not resemble much of what anybody sees in undergrad
at least, the parallels between undergrad analysis, geometry, and algebra and their research equivalents are a little closer
18:08
$[x]$ is equivalence class of $x \in Z$ under congruence modulo $n$.If $n=ab$ with $1 < a < n$ $1< b < n$ from what follows that $[a][b]=[ab]$?
how do you define the multiplication of equivalence classes? they all turn out to be the same thing, but the proof might look different, depending on the definition.
I am looking for accepted answer of this question math.stackexchange.com/questions/1572450/…
ok. well the multiplication of classes is basically defined that way. it takes a little work to see that the class [xy] does not depend on which representative x you choose from [a] and which representative y you choose from [b], but it doesn't. so (having checked that detail) you can take [a][b] = [ab] to be the definition of multiplication of equivalence classes.
the answer is assuming this to be known. i don't see a proof of it.
ok thanks
18:23
$(a+kn)(b+\ell n) = ab + n(a\ell+bk+k\ell n) \equiv ab$.
@robjohn Is there any reason why we couldn't just do it in two steps and apply Plancherel's theorem twice?

$$ \begin{align} \int_{0}^{\infty} \frac{\sin(2x)\operatorname{Ci}^{2}(x)}{x} \, \mathrm dx &= -\int_{0}^{\infty}\frac{\sin(2x)\operatorname{Ci}(x)}{x} \int_{1}^{\infty} \frac{\cos(xt)}{t} \, \mathrm dt \, \mathrm dx \\ &= - \int_{1}^{\infty} \frac{1}{t} \int_{0}^{\infty} \frac{\sin(2x) \cos(tx)\operatorname{Ci}(x)}{x} \, \mathrm dx \, \mathrm dt \\ &= \int_{1}^{\infty} \frac{1}{t} \left( \int_{0}^{\infty} \frac{\sin(2x) \cos(xt)}{x} \int_{1}^{\infty} \frac{\cos(xu)}{u}\, \mathrm du
19:06
Is there a way to determine the number of different functions with coordinate pairs $(\cdot, \frac{1}{n})$ where $\cdot$ depends on $n$ in some way
@TedShifrin then how does an undergraduate figure out what areas they're interested in? Aren't you kind of supposed to know that before you apply to grad school?
Not really, @Derivative. But see what undergrad courses you enjoy the most and do best at. My standard suggestion to students was to focus on a handful of hard problems you solved and enjoyed struggling with.
Also read articles in the American Math Monthly or some comparable publication.
A good undergrad at a university will take some graduate classes.
@RandomVariable That looks like that should work. It doesn't answer your previous query, but it looks like what I was thinking about yesterday, but never got a chance to work on.
How do you tell when a problem was hard. All the problems I enjoyed were more or less trivial in some way.
after solving them they seem so at least
Most problems are trivial when viewed through the rear view mirror.
Not all, but a good number
19:21
well, I can safely say that I enjoy doing exercises from topology the most, as well as finding examples to theorems
but I'm biased because that's what topology is about, more or less
does my question make sense?
I think there's only one function that satisfies those properties
@geocalc33 what does functions with coordinate pairs even mean?
@Jakobian all the functions points can be written that way
you mean the graph?
yeah
so the answer to my above question is 1
but in general I wonder what the max is
19:34
your question is too vague for me
(x,1/x) satisfies the constraints
f(x)=1/x
it's not too vague
it is as it's originally stated. And I'm not sure what's the purpose of it either
recreational
the question is to prove the maximum number of different functions for a fixed y-coordinate whose x-coordinate depends on the y-coordinate
I think it's $\le 2$
19:57
-1
Q: maximum number of functions with coordinate constraints

geocalc33 What is the maximum number of functions with a given y-coordinate and with an x-coordinate that depends on the y-coordinate in some way? For example: $f(x)=\frac{1}{x}$ has coordinates $(x,\frac{1}{x}).$ And I believe this is the only function that satisfies the constraints. So for the given y-...

someone already downvoted it lol
it's because they can't prove it
i didn't downvote it, but i don't understand the question. "with a given y-coordinate" meaning what, exactly? (x^3, 1/x) parametrizes the graph of a function that is not the graph of f(x) = 1/x
20:13
I thought about it more and you're right @leslietownes
20:33
I can't really express the question I want to ask yet
if you're thinking about which functions from $\mathbb{R} \setminus \{0\}$ to itself have graphs that can be reparametrized as curves of the form $t \mapsto (f(t), 1/t)$, $t \neq 0$ for some $f: \mathbb{R} \setminus \{0\} \to \mathbb{R} \setminus \{0\}$, i think it's the bijections
although the 'formulas' in that first coordinate might get ugly if the bijection doesn't have a nice formula for its inverse
perhaps whether the rotation of the graph is still a graph?
20:56
I think I just expressed that question poorly. I think my initial motivation was investigating two different parametrisations $t \mapsto (f(t),1/t),$ taking a mellin transform of both functions obtained by the parametrisations, and taking the inverse transforms, substituting $t=n^s$, summing over $n$, and calculating the resulting inverse Mellin transform after the substitution
to see if they were different
and in this case they're not different because, for example (t,1/t) and (t^3,1/t) have the same distribution arising from their mellin transforms
so I guess that means it's not a useful method for extending the domain of the series you get after substituting t=n^s
there's already a better method to extend such a p-series
I'm just exploring like when mellin inversion is a useful method in continuation of a given series. I don't really understand it completely
21:49
@geocalc33 No, it's because the question is vague as hell and your "belief" seems ridiculous.
Why can't I take $(f(y),y)$ for any function $f$?
@TedShifrin I mean what I wrote last
yeah it wasn't good
I don't know Mellin transforms, so I can't even begin with this.
I was at work and drank too much coffee for the other question
really should stick to 1 cup a day
 
1 hour later…
23:19
I'm trying to prove that image of a meager set under irreducible map is meager
But I'm stuck
@geocalc33 could you start a room? My internet is in and out
@PenAndPaperMathematics I made one
Please give link here
are you going to join math discussion 1022 penandpaper?
23:58
@geocalc33 what is it about?

« first day (4207 days earlier)      last day (1111 days later) »