« first day (2316 days earlier)      last day (3001 days later) » 

00:00
that won't help @Anis
What exactly do you know?
@Mahmoud I remember the exchange vaguely
a pencil is just a hyperplane in $\mathbb{R}^3$, right?
wait, hm
A pencil of lines in $\Bbb P^2$, @meow?
Are we doing anything fun?
00:00
@AnisSouames you know that $e^x=\sum_{n=0}^\infty \frac{x^n}{n!}$, right? If $x>0$ then all of those summands are positive
@AkivaWeinberger You saw him writing it ?
No, @meow. A plane (hyperplane) in $\Bbb R^3$ is just a line in $\Bbb P^2$.
@MikeMiller Do you have anything fun in mind?
A pencil of lines is a line in $\Bbb P^2{}^*$.
00:03
Then I'm off to bed, g bye
night, @Krijn
@TedShifrin not hyperplane
im trying to think
i think you would just call it all of $\mathbb{R}^3$
What's discussed at this point in the book is that the pencil of lines through a point in $\Bbb P^2$ corresponds to a line in $\Bbb P^2{}^*$, @meow.
But all of $\Bbb R^3$ descends to all of $\Bbb P^2$.
@Ted would we consider the pencil as the analogue of "line" in dual projective space?
Right, a line in the dual plane you can prove consists of the lines passing through some point of the plane.
00:13
and so, a line in projective $2$-space is a point in dual projective $2$-space, therefore a pencil (set of lines) corresponds to a line (Set of points)
i understand, its just sometime confusing when points are lines and lines are points :P
yup, that's the elegance, but your sentence isn't quite right
the pencil of lines corresponds to a single point, namely the point all the lines pass through.
by corresponds i mean
from $\mathbb{P}^2$ to $\mathbb{P}^{2*}$
and vice-versa
the pencil of lines is a line in $\Bbb P^2{}^*$.
yes :) i understand
It's all looking at the dot product equation $\xi\cdot x = 0$, either backwards or forwards.
00:21
Bye @TedShifrin Thank you, the book is awesome $:)$
Glad you're enjoying it, @Mahmoud.
Bye.
Bubye.
My headphones just decided to stop working :(
You crossed lines, DogAteMy?
electronic interference
i can't use headphones anymore
because what happened was
they got stuck in the headphone jack
and broke off
am i boring you already, @Ted? :P
things broken off in jacks?
00:25
yeah
hi
I was wondering is every shauder basis orthonormal ?
I don't think so right ?
Do you even have to have an inner product?
Let us say we have a hilbert space with a shauder basis
then is it orthonormal ?
What's the definition?
Let $\{e_k\}$ be a sequence in X(normed space). Then it is said to be shauder basis iff for every x in X there exists unique scalar $\alpha_k$ s.t $x = \Sigma_{k = 1}^{\infty} \alpha_k e_k$
00:31
Finite sum, infinite sum, ... ?
infinite sum.
So any mention of orthonormal?
You could obviously take an orthonormal one and replace one of the vectors with the sum of two of them ...
Because I am reading the following from my notes.
It is true for orthonormal shauder basis not for general one.
yeah
00:34
Your notes assumed o.n.b.
he proved one side
but for the other side he didn't specify if shauder basis need to be orthonormal
Yeah Hilbert spaces are cool
they must go to the gym all day they are quite pumped up
Huh? :D
haha @TedShifrin because they have a lot of structure to them and behave like regular euclidean spaces haha
hey @ted, are you a programmer? :P
whether it be scripting languages or programming languages
nooooo
00:44
aww :(
I used to code @meow-mix
@Adeek what languages?
I actually did honours math and got physics and cs degree
@meow-mix C++, C, x86 assembly
awesome
i write in C, x86 assembly, MIPS assembly, and 6502 assembly
cool
I like C the most
00:47
I resign.
assembly is for people who hate themselves
(and a handful of others like python, perl, java, etc. etc. but i usually write in those others)
haha
See ya @Ted.
@Adeek i'm a romhacker; i reverse engineer game code in so-called "ROMs" and insert my own assembly code with hex editor :)
00:48
not hate themselves but like pain I don't know there is a word for that.
see ya.
adios ted
@meow-mix I did this stuff when I was young before university.
@TedShifrin wait I have some functional analysis questions
@Adeek did you mean to say "masochists"?
yeah @meow-mix
@meow-mix I used to reverse engineer online games.
@TedShifrin still here ?
00:49
@Adeek i typically write hacks for nintendo 64 games, like ocarina of time
Yeah I am over these kind of stuff now I want to work on improving my math skills @meow-mix
@Adeek i go back and forth, sometimes a programmer, sometimes interested in maht
in my undergrad I did a computer keyboard that works with sound btw @meow-mix
@MikeMiller here ?
I want to ask just small question.
in the definition above every hilbert spaces doesn't admit a countable O.N.B so how can we give such definition @MikeMiller ?
only seperable hilbert spaces does.
I bought a complex analysis book by John Conway. Turns out, it's not that John Conway
nvm I see how this definition works
the regular basis is o.n.b for H if it orthonormal and it is a shauder basis
this doesn't define every o.n.b
I guess this defines every countable o.n.b
yeah
01:12
sounds like you got it figured out
every hilbert space admits an orthonormal basis; if $K$ is the minimum cardinality of a dense subset of the hilbert space, there's an orthonormal basis of cardinality $K$
01:23
oh that is cool about the minimum cardanility fact.
nice to know @MikeMiller
01:43
Anyone here?
i am, @AkivaWeinberger
I'm kinda bored
Im writing a proof for the following question: math.stackexchange.com/questions/767403/…
so far I have :
Assume $||\alpha(v)||=||v|$|, since $v \in V$ is an orthonormal basis, we can say that all v have length of 1. Thus $||\alpha(v)||=||v||=1$
how do I go from there to $\alpha$ being unitary?
02:20
can $||\alpha(v)||=||v||$ be expanded to $||\alpha(_1)-\alpha(v_2)||=||v_1-v_2||$? or is that unnecessary?
02:44
nvm, just figured it out...
02:59
I have just noticed that searching for the word tag lists all one-boxed questions posted in the chat room. Cool thing. Although, strictly speaking, oneboxing is against rules of this chat room.
03:10
would the answer on this problem be considered an example or counter-example? I have seen it before on a similar question, but am having a hard time understanding how that answers the question...
0
Q: If $\Vert \alpha(v) \Vert = \Vert v \Vert$ for all $v$ in an orthonormal basis does that mean $\alpha^{\star}\alpha = \sigma_1$?

John SmithMore specifically than the title, let $\alpha : V \to V$, where $V$ is a finite-dimensional inner product space. If $ \|\ \alpha(v) |\| = \|\ v \|\ $ for all $v$ in some orthonormal basis for $V$, must $\alpha$ be unitary? I believe $\alpha$ must be unitary with these conditions. However, I'm n...

03:25
@MikeMiller do you want to discuss the proof for existence of an orthonormal basis for seperable Hilbert space ?
03:47
You can try. I don't remember these things very well.
Is there a word for "connected graph on N vertices with no cycles, and no vertex has exactly two edges"?
The closest I can think of is "spanning tree", but that doesn't cover the "no vertex has exactly two edges" criterrion.
I'd just call a graph irreducible if no vertex is of degree 2 and call that an irreducible tree
@Mike I think I'm now convinced the surgery char. of the unknot doesn't depend on Giroux.
cool
doesn't it ultimately come from Gabai..?
@MikeMiller: Gotcha. Yes, that works and I think it's a better description too.
Thank you.
03:57
Yah, but I guess the non-vanishing of the "contact invariant" coming from the taut foliation doesn't need to be an invariant for the proof to work.
So existence is the easy part?
@MikeMiller Ya well its well understood at this point afaik.
The "any two equivalent open books positive stabilize to a common isotopic open book" I don't know about so much.
04:18
@MikeMiller just saw a really cool theorem. For every functional on a hilbert space H such that f isn't 0 functional. There exists unique y such that f(x) = <x,y> for all x.
that is crazy.
That means that $kernel(f) = \{0\}$ for all $f \in dual(H)$ where f isn't 0 functional.
@akiva How's this?
Generated randomly in Mathematica.
(pretty proud of that, if i'm honest)
for a version which makes the underlying hex structure apparent:
04:35
@Adeel That's not true. The kernel always has codimension 1. The kernel of your inner product is the orthogonal complement of the vector.
@AkivaWeinberger I should also note that the method I did for this one is rather different than I did for the squares; with that one I cheated by using GraphicsGrid, whereas here I used Translate to put each hex tile in the right place.
There's probably a clever way to make the chunk rectangular rather than a parallelogram, but I didn't want to think about that :P
oh I see @MikeMiller
Define $f:\mathbb C^2\setminus\{(0,0)\}\to\mathbb P^1$ by $(z_1,z_2)\mapsto[z_1^2,z_1z_2,z_2^2]$. Then $f$ cannot be extended holomorphically to $\mathbb C^2$.
...is there a question there?
So lift $f$ to its "blow up", i.e., $f:\tilde{\mathbb C}^2\setminus E\to\mathbb P^1$, where $\tilde{\mathbb C}^2=\{((z_1,z_2),[l_1,l_1])\in\mathbb C^2\times\mathbb P^1:z_1l_2=z_2l_1\}$ and $E=\pi^{-1}(\{(0,0)\})$, where $\pi:\tilde{\mathbb C}^2\to\mathbb C^2$ is the first projection map.
Can I now extend $f$ across $E$?
I observed that $\tilde{\mathbb C}^2=\{((z_1,z_2),[z_1,z_2])\}$ and $E=\{(0,0)\}\times\mathbb P^1$.
05:30
im sickk
i need antubiotic
im aisck
my head hurts, i have a fever, i have to breathe through my mouth but then I drool, I shiver and thenwake up sweating, this is not good
bring medecine please
im watching the truman show
i need more codeine and sleep
what if i drink the whole bottle
how much is 20ml
oh there is a cap with markings nevermind
duh
my god I look just like Jim Carrey
never noticed that before
from the Truman Show
now he looks a lot different
i guess cause he's 50
54 geez
side effects of my medecine: severe dizziness, anxiety, restless feeling, or nervousness,
confusion, hallucinations
wow
i never hallucinated before
but my aunt saw snakes coming out of the floor one time
i think she took ambien
i feel much better now
I wonder if I should try to do math on this medecine
 
1 hour later…
06:48
Since I am trying to get the bounty room going, perhaps a reasonable thing could be to promote it here. So here is link to the relevant meta post and here is the room.
 
1 hour later…
07:58
hi
There is something i do not quite understand when it comes to learning math. There are problems were you just have to find connections and i can't understand how to do all of those connections. For example look at this question: http://math.stackexchange.com/questions/294213/prove-that-13-23-n3-1-2-n2

You can use the $(a+b^2)$ relation or the mean value of the first and last item in the sum.
08:50
This semester's culminated in deciding to begin studying for a given exam at 2 a.m. the night before. Working so far, but it's probably not the optimal choice...
Hi @Null :) [not sticking around for now btw]
Why start studying so late ?
09:19
What is the common definition, if I say "let $\pi \colon \widetilde{X} \to X$ be a universal covering", is $X$ already path-connected?
I would say universal coverings are defined as coverings where $\widetilde{X}$ is simply-connected, i.e. path-connected and $\pi_1(\widetilde{X}) = \{e\}$.
09:31
@Rakso Severe procrastination, and because I'm a mess
My stats professor keeps pronouncing multinomial as multi-nominal. Is she wrong or am I just crazy?
...Gotta go. G'n
@Brody later man, good luck
Okay, think I got it. If covering maps are assumed to be surjective, then a space $X$ admitting a universal, i.e. simply-connected, covering space $\widetilde{X}$, is automatically path-connected. Does this make sense?
@Mahmoud you said we should only talk about thing we can prove
and i said we would need to learn the Peano axioms in kindergarten to do addition
@DHMO Why would we use the Peano axioms to do addition?
@TobiasKildetoft because we need to define the integers
09:42
@DHMO Again, why choose Peano for that?
Come on. It was an example. You can use von Neumann too.
or you can use a set of axioms sufficient for addition but not for induction
@TobiasKildetoft you can just remove the axiom of induction (fifth Peano axiom)
As long as you want to do just addition Presburger arithmetic is complete, consistent and decidable
Took me a while to realise that message was not starred $q$ times...
09:57
@BoniLindsley I'm still waiting for something to get $\Gamma\left(\frac{3}{2}\right)$ stars.
@Fargle, I tried with yours but I overshot.
Close enough.
 
1 hour later…
11:00
I want to switch majors to math but i cannot even solve problems like theese $\sum^{n}_{k=1} k3^k = \frac{3(2n3^n - 3^n + 1)}{4}$
11:22
@Semiclassical Thank you! I like this very much!
I'm kind of surprised that neither picture had loops-inside-of-loops. I guess it's not very common.
11:56
@Rakso, you don't need to be able to solve a problem before you learn how to solve it
@AntonioVargas But it feels like if i already know how to solve it it is not a problem. I dont like that i have to memorize it all if you know what im saying
Hm, no
I don't know what you're saying
@Fargle I'm waiting for $\frac{\sqrt\pi}2$
@robjohn A rose by any other name
@AntonioVargas For example in induction there is formulas to solve arithmetic sums and geometric sums, is it really about memorizing theese kind of things?
@AntonioVargas Im talking about $\frac{n(n+1)}{2}$ for arithmetic sum for example
12:04
Then don't memorise them and make sure you can look them up when you need to use them.
I dont even know what im after anymore..
@Rakso You don't need to memorize the answer, but how to get the answer.
certain formulas are used so often that you end up memorizing them
@robjohn I feel like thats what ive been doing so far but everytime i face a new problem im just left clueless
@DHMO hi
Yesterday question
@robjohn i wana become good at math but i get knocked down soo frequently
12:09
@Rakso what courses are you taking now?
@Rakso, I don't remember those formulas exactly, but I do know how I would derive them. It's not about memorizing the formulas, it's about learning what they mean and where they come from. The goal is to give you ideas to solve different but related problems.
^ robjohn said exactly this, didn't read it
@robjohn do you think there are integers $x,y,n$ with $x>1$ and $n>2$ such that $x^n-2y^n=1$?
Im a computer science major so so far i have had an introductionary course for computer scientists, it is mostly discrete maths.
But as i've mentioned i kinda want to switch from computer science since i feel that math is more of a challenge for me
@Sophie there are a finite number of them. I don't know if there are more than $(1,0)$.
How do you prove that? I only know that there are finitely many for fixed $n$
3
Q: Solutions to the diophantine equation $x^n-2y^n=1$. Can the sum of the first $n$ squares be a perfect power?

SophieThis is an attempt to generalize this question. $$x^n-2y^n=1\implies \frac{x}{y}=\left(2+\frac{1}{y^n}\right)^{\frac 1 n}=2^\frac1n\left(1+\frac{1}{2y^n}\right)^\frac1n<2^\frac 1n\left(1+\frac{1}{2ny^n}\right)$$ $$0<\frac{x}{y}-2^\frac1n<\frac{2^\frac1n}{2ny^n}$$ but since the irrationality meas...

12:13
@Sophie for a fixed $n\gt2$
but do you mean you have a proof that there are finitely many solutions for all $n>2$? Or that for any $n>2$ there are finitely many solutions?
how many hours a day did you spend on average when you were new to math? @AntonioVargas @robjohn
That's a hard question. I guess I would say "a lot". You generally need to spend a lot of time on anything to get better at it.
@AntonioVargas Do you have any books you recomend me to read before bed or something like that ?
@Rakso, I like to read horror novels before bed. It makes for interesting dreaming.
12:27
@AntonioVargas haha didnt even know those existed. Are they even scary?
@Rakso, horror is a huge genre! Ever heard of Stephen King?
@AntonioVargas Sure i've heard of him, didnt know that he wrote horror novels though
I recently read one of his son's books call Heart-Shaped Box, it was great
He only writes horror novels...
@AntonioVargas i rarely read fiction books or novels
so i wouldnt know
[Some interesting stuff (?)]
$$\frac{d}{dx}x^n=nx^{n-1}$$
$$\int x^n dx=\frac{1}{n+1}x^{n+1}$$
Now
$$\int x^{-1} dx=\frac{1}{-1+1}x^{-1+1}=\frac{1}{0}x^{0}=\color{red}
{\textrm{undefined}}$$
$$\therefore\textrm{Define: } \ln x=\int_a^x t^{-1}dt$$
Where is the derivative analogue of this $x\neq -1$ 'gap' in the integral power rule? Actually it is right here:
$$\frac{d}{dx}x^0=0x^{0-1}=0x^{-1}=0 \color{red}{\textrm{ (Often skipped as it is straightforward: $x\neq 0)$}}$$
NB $0^0=\textrm{undefined, but in most applications, it is natural to set as 1}$
12:37
@Secret because when you do $\int x^ndx=\frac{x^{n+1}}{n+1}$ you're looking for a function whose derivative is $x^n$, because of the fundamental theorem of calculus. What happens when $n=-1$ is simply that you find out that there's no function of the form $ax^b$ whose derivative is $\frac{1}{x}$
Yeah I know but in the past I am always being annoyed of this apparent lack of symmetry in the power rules of integral and derivatives, and then some time later I realise the symmetry is still there: it is being hid by zero in the derivative case
Perhaps a better way to phrase it is: We all knew the following:
> What happens when $n=−1$ is simply that you find out that there's no function of the form $ax^b$ whose derivative is $\frac{1}{x}$
but the above give a reason on why it is the case
I am pretty sure most people are aware of the why but for me, it just clicks recently, shwoing that I still need to work hard on my calculus knowledge
A similar kind of logic applies to the case on why there is no elementary antiderivative of the gaussian integral
One can say it is impossible to find an elemntary function whoose derivative is the gaussian function
but the more fundamental reason is because it is an outcome of Risch algorithm
This line of thinking is one reason I like universal algebra: It provide a pathway to explain why the axioms of the various algebraic system work the way they do and how at the most abstract level they interact with each other
@AntonioVargas Well, he mainly writes horror
@TobiasKildetoft He also writes grocery lists I suppose ;)
12:52
@AntonioVargas The Gunslinger series is not horror, it is fantasy
@Secret You mean the fact that the power rules break when the exponent is 0?
no I mean the derivative power rule does not break for the derivative case for all n, but breaks for x=-1 for the integral version
@Secret but it does break for n=0
The answer is: The derivative power rule does somewhat "break" at the n=0 case, it does not look like it because for $x\neq 0$ absorbption property of zero hid the signs of the "damage"
Oh, right
12:57
two variable limts give as another perspective on how it breaks as $\lim_{(x,y)\rightarrow (0,0)}x^y$ does not exists because you can get any value between 0 and 1 depending on how you approach the origin
@Mahmoud salaam

« first day (2316 days earlier)      last day (3001 days later) »