« first day (2592 days earlier)      last day (2428 days later) » 

9:00 PM
Set builder notation is important, but hardly a world crisis, Nate.
 
yeah hopefully
 
I totally forgot set builder notation had a name
 
Me too :)
 
it's not a legit assignment it's just he wants us to know it for the course
so he gave us some excersizes
 
That's cool.
 
9:02 PM
yeah I guess that is kind of cool
I like challenging content.
 
Oh wow the complex manifolds book is p short
 
so it should be fun
 
Yup, Eric. But the second edition has a cool appendix, too.
 
Yeah I think I will acquire this
 
now I don't have class till monday :(
 
9:03 PM
I could probably read this before school starts if I stop hanging out here
 
Or read Bryant more :P
 
That too
 
Chern is way easier going.
 
I can do both maybe
 
Ted!
I got a Q about isomorphism
 
9:04 PM
@Kasmir: There are dozens of people here who can help.
 
Alright I'm gonna go make me some ramen
 
How do we know that if a function if 1-1 and onto and obying f(xy) = f(x) f(y) is enuf for the 2 groups to be the same
 
Huh?
 
@TedShifrin okay :(
 
Bye chat
 
9:05 PM
That's the definition of isomorphism and that's the definition of "the same."
 
Yes I know that
 
See you @Eric!
 
but why is it true?
 
"The same" means that there's a complete dictionary translating things in one world into things in the other world.
 
I know that :D
 
9:06 PM
It's a relabeling that is completely compatible with the group operation. What else could "the same" mean?
 
@TedShifrin you remind me of my calc proff a bit. He argued the word "random".
 
I think the point of this is proving that the inverse is also a homomorphism?
 
In math it seems you have to be very particular about the words you use, which I think is something that is learned.
 
Is that your question, Kasmir?
 
That is not my Q Ted
 
9:07 PM
@Daminark That is an important thing, but here I think it is more about the intuition
 
Ehm let me put itthis way
lets say we dont know anything about 2 groups being the same , since they got different elements
how did the first guy
prove that that those conditions are enuf
 
I've answered that. I don't know what you're looking for.
 
that's pretty philosophical..
 
grrrr
having same number of elements I got that
 
@KasmirKhaan Think about this: Look at the composition tables for the two groups. What does it mean for them to be the same given those?
 
9:08 PM
I never said that.
 
1-1 ofc needed
 
I said relabeling compatible with the group operation. That is "the same."
 
I think he's asking a philosophy question about logic
 
but why the info of 1 group is inside f(xy) =f (x) f(y)
 
Relabeling means bijection.
 
9:09 PM
not a mathematics question.
alright off for the night guys
 
That equation says you turn the group operation in the domain into the group operation in the range.
 
thanks again ted.
 
It should be written $f(x*_Gy) = f(x)*_H f(y)$.
 
@TobiasKildetoft I know what you mean , but that is not my question =p
Ehmm
 
Sure, Nate.
 
9:10 PM
hi ted
 
@KasmirKhaan I am still asking you to think about that because it will help with this
 
Hi @NV
I actually think you should think about what I just typed explicitly, Kasmir.
It lines up with what Tobias said.
 
@TobiasKildetoft well if we can find what elment match to waht element we are done =p
Okay thanks guys =p
 
Right, now try to see what that actually says about the map that matches the elements
 
what i was thinking was the structure for groups and how all of it is working
I mean like ._. algebraic structure
that is what I dont get completly =p
Anyway, ill keep reading =p
 
9:13 PM
Ugh, why did I go to this seminar
 
Why did the Semiclassical go to the seminar?
 
To be bored out of his mind
 
This is a very poor joke
 
So far the only interesting part of it is the section which is departing from the rest of the talk
Partly it's the presentation style: they're standing at the front and reading a prepared text
It's also being read very quickly
 
get a pen and paper, and do some mathematics @Semiclassical
 
9:18 PM
Tempted
 
@Semiclassical That sounds like a philosophy seminar. You should pretend it is one and practically attack the presenter with questions afterwards.
 
@orlp, is it 2?
 
Hey @TedShifrin. How are you?
 
@KasmirKhaan, I'm interested in taking a stab at your question, but I'm not sure I understand it.
But recognition of "sameness" is something you can't define except by already knowing it. Same with "different" and "similar." You can define how you shall determine for a particular type of mathematical structure whether "sameness" applies or not, but recognition of differences, similarities and identities is totally fundamental to perception of the universe.
And yes, as noted by others, that's not really a math question. :)
 
@Wildcard I want to understand more about the algabraic structure of a group, so ofc one starts with understanding when things are equal in any new structure, I wanted to know why the criteria of 1-1 , onto function + f(xy) = f(x) f(y) , those three, what defines equiality in groups
 
9:25 PM
@KasmirKhaan first you should realize that "equality" in math is shorthand for "we're not interested in the differences between these things at this time."
 
@TobiasKildetoft history of science
 
2=2, but 2 apples does not equal 2 oranges.
 
Okay
 
@Wildcard I don't believe that's correct
 
@KasmirKhaan in other words, when you go all the way down (up??) to epistemology, nothing is totally identical to something else.
 
9:26 PM
@Semiclassical Then yeah, why on earth would you go to that seminar?
 
Which in this case means history of science/tech/religion post-WW2
 
So "equality" isn't identity. It's a specific type of similarity.
 
Which really could have been interesting...but it really hasn't been
 
2 apples "equals" 2 oranges, means that the particular similarity we are interested in is quantity, not biological/nutritional properties.
 
@Wildcard Okay thanks =p
 
9:28 PM
@KasmirKhaan So for groups, when we say they're "equal," it's so that we can reason about certain types of similarities between groups. If they're similar in such and so way, then they have certain common properties.
So you're just asking about definitions at that point.
 
I think a good way to imagine it is also that you can change languages or notation but not change content
 
@KasmirKhaan Hope it's clear. :) So math definitions are defined the way they are because those properties have been found to be interesting/useful.
 
If you think of the trivial group, I can call its element e, 1, 0, etc
 
@orlp Why not?
 
If I replaced all the labels in an op table with colors, it'd represent the exact same info
 
9:29 PM
@Wildcard it was helpfull thanks :)
 
@KasmirKhaan Great!
 
But I haven't really done anything of substance, it's still the trivial group
 
@Daminark Yes I get that part =p I am just comfused because I dont know alot about abstract algebra,and want to know more ><
 
@Wildcard because I have a program that computes these modular power towers, and it disagrees with you :P
 
Similarly, if you take a group, all the algebraic information is contained in the multiplication table
 
9:30 PM
@orlp It's a bug in the universe, not your program. Don't worry about it. :D
I'll have to come back to it later.
 
Q. Let X be an infinite set. Let X be endowed with discrete
metric. Give an open cover of X which does not admit a finite subcover. now let x belong in X, then if i take a ball of radius greater than or equal to 1, then i get the whole space, so the radius i take must be less than 1, which gives only the centre. so can i write that for each element in X, consider ball of radius 1/2, and take its union, we will get X. is this correct upto now?
 
So in algebra what we care about is that multiplication table. If we take a given set and operation which generates that table, or another, it doesn't really matter to an algebraist, right?
Ultimately any algebraic properties will still hold
If you have an isomorphism, that means that when we take the table of the first group, it'll have elements $a_1,a_2,...,a_n$ (take a finite group for simplicity).
 
@orlp However, I had a very odd feeling while I was computing it. I felt like one of the students I mentioned here:
I just sit down the 8th grader and ask him what's $117 \times 277 - 116 \times 277$. A surprising number will compute it the long way. I don't even point it out to them; they often still don't see it. Then I give them progressively bigger numbers, like $13754 \times 347 - 13654 \times 347$ (and they get annoyed at being asked to do this without a calculator) until they suddenly get it. Then we go from there to trickier problems, like $97 \times 103$ without a calculator, then $498 \times 502$, and so on. — Wildcard Apr 5 at 0:39
 
(Heh simplicity...)
 
@NV-US Yes, that gives you an open cover
 
9:34 PM
@orlp So I think what I really need is the "leading" questions in number theory to compute out longhand that, when I solve them, will make the patterns involved extremely obvious.
I could see some patterns, but not clearly enough to isolate the basic principles involved.
I expect by starting smaller I'll work out the laws involved, though. :)
 
But yeah if I have an isomorphism $f$, I'll denote the elements of the second group $b_i = f(a_i)$
Every element of the second group is gonna be some $b_i$ because our function is surjective
So now I write the multiplication table of the first group, and then swap $a_i$ with $b_i$
Turns out it will be the same multiplication table as the second group, exactly
 
@TobiasKildetoft then i cannot find a subcover of this because each ball contains only its center, and we have infinite elements and therefore infinite balls, and therefore i cannot have a finite number of balls covering X. is this correct? how can i write this formally?
 
So that's why an isomorphism can codify sameness the way we want
 
@Wildcard I'm not the right teacher for you here
@Wildcard I don't know what could really be 'small steps' to get you there
but I can give you a hint
@Wildcard you are aware of Euler's theorem, right?
 
10:04 PM
@orlp Yes.
@orlp I know the solution will involve iterated application of the totient function.
@orlp Also:
1 hour ago, by Wildcard
@orlp I worked out the totient function and Euler's theorem on my own after learning the basic idea of modular arithmetic.
@orlp Are there more laws and trickery involved than just Euler's theorem?
(N.B.: I want more practice with Euler's theorem to prove out to my own satisfaction and full understanding how and why the converse holds (to prove co-primality) and how it can more easily be used in practice. Part is understanding and part is familiarization; both are needful. It's been more than 5 years since I worked it out and played with it and I haven't used it since.)
There's a difference between understanding and following out a proof, and KNOWING to your core that something is true because it would be impossible for it to be otherwise.
 
Hello!!

Let E be the tangent plane at the graph $f(x, y) = x^2 + 3xy$ at the point $(1, 1, 4)$. At which points does the plane with cartesian equation $5x^2 + 3y^2 + z^2 = 9$ a unit perpendicular vector that is perpendicular to $E$.

We have that $E:z=f(1,1)+f_x(1,1)(x-1)+f_y(1,1)(y-1) \Rightarrow z=5x+3y-4$, so ge get the plane $E:5x+3y-z=4$, right?
A normal vector is a multiple of $(5,3,-1)$, or not? How could we continue?
 
For example, I (and probably everyone here) KNOWS that there are 120 permutations of 5 items. It would be impossible to convince any one of us otherwise, or even to cast the slightest shadow of doubt in my mind that this is exactly correct. No matter how much authority or respectability or anything else someone had, nor how many people were to say, "No it's not; it's 117."
There can be no flaw discovered in the proof.
That's KNOWING something.
Then there's just having proved something symbolically, which can be useful as a route to knowing it, but if you don't actually proceed to then knowing it, you haven't finished with it and it's a much lower-grade action.
</soapbox>
@orlp
@MaryStar I think you a verb in your sentence.
 
Oh yes... It should be:
Let E be the tangent plane at the graph $f(x, y) = x^2 + 3xy$ at the point $(1, 1, 4)$. At which points does the plane with cartesian equation $5x^2 + 3y^2 + z^2 = 9$ have a unit perpendicular vector that is perpendicular to $E$.
 
10:20 PM
@Wildcard sorry got distracted
 
@Dodsy it's ok.
 
the problem with Euler's theorem is that it requires coprimality
but there's a generalization that doesn't
$n^{2\phi(m)}\equiv n^{\phi(m)} \mod m$
 
@TedShifrin So, because I got sick of my username and changed it once permanently that makes me some evil individual? FYI, I have been offline for the past 24 hours and have not flagged anyone for anything. Even before that, I have been pretty much offline for the past week. So don't be rude and accuse me of something without even consulting a moderator to find out who is actually doing it. That's rude and a moderator made clear last night such posts are not tolerated on here.
 
@Wildcard maybe try to prove that generalization
 
If I see you (or anyone else) making such a statement directed towards me without justification I can and certainly will use a custom flag to ask for a moderator or admin to kindly explain why that behavior is not tolerated. You've certainly just lost most of my respect....
apologies for the posts
there was an old message from earlier that was pretty mean and rude
 
10:27 PM
@orlp Perfect; will do that. (Won't be today, unfortunately.) Appreciate it.
 
@Typhon while it does not seem like you're the one who did it this time, I don't believe it's particularly serious. It's nothing actionable, and there was one point in time where you and Dodsy had an incident regarding flag abuse, so he was working off some sort of history. Whatever the case, I would recommend not resorting so quickly to belligerence, it won't help you or anyone else.
 
@Daminark you didn't see Ted Shifrin's post
and I was almost banned last night I think because I happened to mention not to push another user's buttons due to past incidents of anger
so...
him making that accusation needs to at least have something behind it. I did flag a couple posts that were incredibly offensive but only using custom flags and because of the fact that they were truly NSFW posts.
for instance, blatant posts about illegal book sites
including links
 
What I saw was that this morning there was some nonsense about people being flagged for using the term "normie", and after Dodsy
What I saw was that this morning there was some nonsense about people being flagged for using the term "normie", and after Dodsy said you were not responsible Ted disagreed
To be honest the illegal book sites are not in good taste but not serious
Like, no one is getting hurt or personally attacked
 
@Daminark true but that was only one time and I flagged using a custom reason. Nobody was banned. Just a delete and verbal warning. In fact, I think the flag came back as "please don't flag unless serious, bla bla bla"
@Daminark I took ted's comment as a personal attack.
 
Hello @Typhon please calm down. =D
 
10:35 PM
@Jasper I'm perfectly calm dude. Just leaving a response telling them to please not do that again. I have no problem with someone having an issue with me, but don't talk about it behind my back or make unsubstantiated remarks.
I was honestly not planning to dwell on it. I said my peace and it's done.
 
You took it as such but not justifiably, he said that he suspected it was you on basis of his past information and the fact that you have gone by another name. I don't want to get into any political stuff but I just think this is honestly something that doesn't warrant such a response, just let it slide
Anyway I'm outta here
 
@Typhon OK, I hope you have a nice weekend. =D
 
@Daminark well, mods have said in other chats and deleted posts because of it that no form of accusation like that is allowed on the site. Hence such posts are to be taken as a violation of the be nice policy. As I said though, I am letting it slide with a verbal warning that such posts will not be tolerated in the future.
@Jasper You too!
 
@Typhon Policies are made by imperfect humans and then interpreted by other imperfect humans. Do what your conscience tells you is right, and you will find happiness in life. =D
 
@Jasper Quit with the philosophical talk, please.
 
10:43 PM
@Typhon Not philosophical at all, it is exactly what applies in this case.
 
@Jasper if you say so. It sounded a bit deep to me. I was just giving the guy a friendly reminder so that way nothing happens in the future. We don't need drama or consciences in a math chat.
"Do what your conscience tells you is right." If I did that I'd be leaving here for good. That's not happening so don't try that on me, lol.
 
@Typhon I never said that anything you did was wrong. You just seemed a little upset, and I am trying to be nice to you since you look upset.
 
@Jasper Not that upset. That guy is already pretty well known around here for being incredibly blunt when he needs to be. He's just being cranky, lol.
I just figure that people throwing accusations is just going to make things worse
we might as well just contact an admin and until then sit patiently and wait it out
 
@Typhon That's just the way I talk all the time. If I didn't care about you at all, I would not even have bothered to talk to you.
 
@Jasper fair enough, but this is a math chat. If anything dragging this out with a whole bunch of replies is just derailing the chat....
I wasn't really expecting or desiring responses. I just making a response and leaving it at that.
This is why we need private chat....
XD
 
10:50 PM
anyone know anything abotu graph theory?
 
@Faust hey how's it going?
 
tired
 
that sucks
 
finished my anal-cyst hw
 
@Typhon I think whatever Ted said seemed pretty harmless to me. I guess you can always clarify things in this room, which is what you just did. So I guess everything's OK now.
 
10:51 PM
want to finish my graph theory and nt hw now
but the graph theory questions i dont understand them the terminology is veyr diffent than my last class cant read the dma questions
 
@Jasper Everything always was ok. The statement "this was between me and ted" applies really good in this situation. I don't need nor want people commenting on how I should reply to a post that is nobodies business but mine. It's honestly flat out annoying when people here do that. That's why I apologized. It wasn't meant for anyone else to read but Ted. Period. So please drop it.
it only became not ok when daminark took offense to my reply.
@Faust I'm not familiar with graph theory in the math sense but I've used graphs quite a few times in programming stuff. Maybe I can help with the terminology issues?
 
@Typhon Alright. I hope I have not upset you in any way.
 
There exists a set $ X \subset V (G) - \{u,v\} $ such that some vertex in X is adjacent to both u and v. i dont really get this are they claiming that the vertex adjacent to u is still adjacent in X that seems impossible if you removed it...
 
@Jasper nah. not really. Just annoying how people always do that specifically because there is no private chat where I can tell someone something without half the site commenting on it or butting in. XD
 
are they asking for an example?
like a triangle satisfies that property assuming i can read it
or are they stating that it exists
and asking me to do?
 
10:59 PM
@Faust they're saying that if you look only at vertices other than u or v that one of those vertices is adjacent to both of them.
@Faust or an angle, since u and v need not be connected to each other.
 
ok then what is the question?
 
@Faust There is literally nothing but a statement in that paragraph.
 

« first day (2592 days earlier)      last day (2428 days later) »