« first day (3315 days earlier)      last day (2002 days later) » 

02:53
Is it possible to construct the algebraic closure of $\mathbb{Q}_\mathrm{Ord}$?
 
4 hours later…
07:04
@s.harp Sorry, that I misinterpreted it. (I thought that $f$ is one fixed function) Now it is clear. Thanks a lot.
 
2 hours later…
user131753
09:10
Can anyone give me some intuition regarding the notion of a transportable concrete category? In Joy of Cats the definition is given as follows, "A concrete category $(\mathbf{A}, U)$ over $\mathbf{X}$ is said to be (uniquely) transportable provided that for every $\mathbf{A}$-object $A$ and for every $\mathbf{X}$-isomorphism $k:UA\to X$, there exists a (unique) $A$-object $B$ and a $\mathbf{A}$-morphism $j$ such that $U(B)=X$ and $U(j)=k$."
user131753
user131753
Probably this picture is intended to give a big-picture viewpoint of the concept but I couldn't understand it. Is there any special significance of the name? What does which category "transport" to which category?
11:10
Hey, it would be great if someone could take a look at this
0
Q: Forming matrix equation from inner product

TukiTask Let's observe in interval $[a,b]\subset \mathbb{R}$ defined real valued and continuous maps which form vector space $\mathcal{F}([a,b],\mathbb{R})$. Let $\langle ., . \rangle$ be some inner product. Now let's observe equation $$ Lf=u $$ where $L$ is a linear transformation in space $\m...

Hello guys i need help translating something


So i study in German and we use the following description to describe the (Set of all functions from X into Y) : Abb(X,Y)


I was wondering if theres a similiar english symbol for it? I am looking online for extra reading material on it but I am not finding anything
Other than $Y^X$ ofcrs.
11:26
$\operatorname{Hom}_{\textbf{Set}}(X, Y)$
lol
Oh thats how you write it? hom_Set? I didnt know that. Thank you
But thats not what I meant. I meant like the name for it
When I google home set there are no results.
My problem has something to do with frobenius inner product?
11:49
@MadSpaceMemer that was meant to be facetious, the morphisms in the category of sets are functions
Thank you mate.
i am not in college so i don't know much and i didn't get what you meant :D
i just do math as hobby :D
Fair, what's wrong with $Y^X$
Nothing, i am reading a book. And i wanted to search more information about this "set of all functions from X to Y) but i didn't find anything using the writing method that was used in the book which was in German, so i thought that in English theres a different one that i can find in Wikipedia. thats why i asked.
Ah I see :) Well abbildung is map or function so
11:56
Fun(X,Y) would work but it's rare
I mean whatever works for you
lol
Try writing Fun(X,Y) in google. :) see first result )) ahhahah
 
3 hours later…
15:08
Let $f:\Bbb R\to S^1$ be continuous injective function (where $S^1$ is unit circle in $\Bbb R^2$). How to show that $f(a,b)$ is open for any $(a,b)\in \Bbb R$ where $a=-\infty$ and $b=\infty$ are possibilities?
I went like this: Maybe, we can consider $f$ as function from $\Bbb R\to [c,d)$, then it is strict monotone (since continuous and injective), then I can prove that $f(a,b)$ open.
But, I can't justify why considering $f$ as function from $\Bbb R\to [c,d)$ is OK.
15:50
Can anyone help?
16:29
i shared a hyperlink of chemistry se question, should i post a copy of the hyperlink here?
in crusade message group i mean
i posted there
@Tuki i can if it's a high school level question
is it possible to show that $$ \int_a^b f(x)g(h(x))dx = \int_a^b f(x)g(x) dx + \int_a^b f(x)h(x)dx $$ ?
may i share a hyperlink here too? or that would be spammy?
@AlwaysConfused use chem chat ?
@AlwaysConfused what's ur question btw ?
@MathGeek the other problem i had is this. math.stackexchange.com/questions/3340893/…. Not exactly high school level
16:32
chemistry.stackexchange.com/questions/119816/… this was my question in chem se
0
Q: Is there any mathematical or logical prove for carbon with 4 different groups would be chiral?

Always ConfusedIn chemistry; chirality is generally defined in 2 ways. Lord Kelvin's definition: "I call any geometrical figure, or group of points, chiral, and say it has chirality, if its image in a plane mirror, ideally realized, cannot be brought to coincide with itself" (source: 1. chirality.org , 2. Bi...

I have to show that $\int_a^b f(x)g(x)dx$ is inner product $=\langle f , g \rangle$
@Tuki sorry i aint of that level
omg the chat sound is so loud scary!!!! I was totally startled
@AlwaysConfused me too
16:33
if Cos x * Cos y = 1. Can i say Cos X = Cos y = 1 ?? please help me someone
@AlwaysConfused i can help you in that question logically. Give me a sec
@MathGeek I don't think you can
You may answere there too
@tuki
@Tuki Ohh surely feel free to try.
16:38
@tuki can you prove ?
@Tuki agree its as difficult as the parallel postulate. the second definition isn't as axiomic as it looks like.
yes having problems proving the second definition indeed
the rest should be easy
@AlwaysConfused where are you confused ? i can't understand yyour exact problem
@MathGeek For example $\cos(0)*\cos(\pi)=1$ and $0 \neq \pi$
@MathGeek i cannot "prove" the second definition from simpler facts and considering first definition as the definition of chirality in chemistry.
i can test it but that feel like a mathematical gap.
16:44
@Tuki thanks btw cos pi = -1 . cos 0 * cos (-pi) = 1
I have not yet seen any biochemistry or chemistry book given any small or big mathematical relation in between the 2 definition.
@Tuki So where are you getting stuck?
which problem @AlessandroCodenotti?
@AlwaysConfused there isn't any mathematical explaination
i cannot remember i dealt with many years ago. i have to start from scratch
@MathGeek okk
16:45
@Tuki You can click on the little arrow to see the message I'm answering to. The inner product one
oh ok
Well i've tried using substitution but it doesn't get me anywhere
To check that it is an inner product you need to show that it satisfies a bunch of properties, right?
yes
4 properties
Ok let's go through them in order then, what's the first?
im stuck with $ \langle f ,g+h \rangle = \langle f, g \rangle + \langle f, h \rangle $
16:47
I also know (have been taught) substituting one group with other will create the another enantiomorph; but i could not prove that either.
first one is $\langle f , g \rangle = \langle g , f \rangle$
but its true since $f(x)g(x) = g(x)f(x)$
@Tuki Ok, what do you get if you expand the left side?
and why only 2 isomer will exist which will be mirror image and not more isomers than 2
i.e. enantiomorphs.
If i can reach some solution later, I'll add it latter.
But i feel it like parallel postulate.
Or like a conjecture. Tested to be true but we cannot explain how or why.
@Tuki thanks
@AlessandroCodenotti i get $$ \int_a^b f(x)g(h(x)) $$?
I disagree
Where are you getting a composition from?
16:54
As well i dont know "mathematical chirality" its more difficult. But I've read mathematical chirality is related but different from chemical chirality (Lord Kelvin's one).
from $\langle f ,g \rangle = \int_a^b f(x)g(x)dx$
by using this definition
@AlwaysConfused you can download LG Wade for all your solution. I was trying to snap but i aint having mouse rn.
its g+h
maybe youre right
is it an ebook
If you're getting confused call $f'=g+h$ and write down $\langle f,f'\rangle$, then substitute $f'$ with $g+h$
17:01
yes I probably got confused
@AlwaysConfused it's a book. It's available free on net
So what's $\langle f,g+h\rangle$?
September, the sept-th month of the year
To be fair in Italian we say settembre, where sette is seven, since september is the 7th month... Oh wait
the 7th month of the year before Julius Caesar reformed the calendar
17:10
I'm not sure when it stopped being the 7th
Pretty early on IIRC
They renamed old months that had different names in honour of Caesar (July) and Augustus (August), they didn't introduce new ones, so they didn't shift september and the others
I mean they did at some point, but I'm not sure when that happened
> September (from Latin septem, "seven") was originally the seventh of ten months in the oldest known Roman calendar, the calendar of Romulus c. 750 BC, with March (Latin Martius) the first month of the year until perhaps as late as 451 BC.[2] After the calendar reform that added January and February to the beginning of the year, September became the ninth month, but retained its name. It had 29 days until the Julian reform, which added a day.
The "[2]" there is how you know it's legit
I should plan all future events with calendar reform in mind
"The competition, barring disaster or calendar reform, will be held on March 16 of next year…"
17:16
I found this about 5 or more years ago
Wait so that's the figure-eight knot
which is its mirror image (achiral) if you deform it a little
What's with the red dots
Wait tell me if this makes sense
If you draw the usual knot diagram of the figure eight knot on a sphere rather than on a plane
then you can make it into its mirror image without changing the diagram
(like just doing "Reidemeister 0" planar deformations and not any actual Reidemeister moves)
'Cause you can slip the left-most strand around the back of the sphere
okk
i will take time
Sorry, that wasn't totally related to your picture
17:25
@AlessandroCodenotti It should be $\langle f, g +h \rangle = \int_a^b f(x)(g(x)+h(x)) = \int_a^b f(x)g(x)+f(x)h(x)$?
Yes
Now you should see why that's the same as $\langle f,g\rangle+\langle f,h\rangle$
and then since integration can be written in parts it should be it
yes
Indeed, integration is linear
$\int X+Y~dx=\int X~dx+\int Y~dx$
yes exactly
17:35
@AkivaWeinberger Yup it is translated from words to picture
I read this configuration it in a sort of chromosomal translocation. Luvit
It looks like a boat
Hot take: we are in a cyberpunk novel
I haven't met a single one of you people
17:53
hmm
Does anyone have any ideas regarding math.stackexchange.com/questions/3340893/… ?
@AkivaWeinberger you mean virtual chat?
Posted it a while ago today but 0 answers / comments
something wrong with it?
Reply to a comment
@AkivaWeinberger this series of comments
@AlwaysConfused related to topology?
knot theory?
:51553573 yes Akiva told a comment
i tried to sketch it
the figure 8 knot superposes to its mirror img
@Tuki i dont know
maybe
18:06
@AkivaWeinberger I can witness that Mathei is a real person, but I'm not sure about anybody else
@AkivaWeinberger i actually like this virtual style and dont like to meet in person
i dislike facebook because it disrespects my and others privacy :(
@AlessandroCodenotti every user account is 1 or more real person. None seem to be bots.
@AlwaysConfused Maybe they are just really well-trained bots
i like anonymity idk why. i feel shy even to remove my window curtain
@TobiasKildetoft i work with bot (botany i mean)
not robot
lol
hmm, robotany
18:12
How on earth I show that $\langle f , f \rangle \ge 0$?
$ \int_a^b f(x)^2 dx \ge 0 $?
@Tuki Sure, assuming this is a real function
It depends on what f(x) is, and exactly what a and b are
@TobiasKildetoft could you explain little bit more?
squaring always yields something non-negative
hmm
but Im squaring the function?
same thing
18:16
squaring polynomial doesn't cause it to be always $\ge 0$ right?
the values will be, yes
hmm
Not quite sure why this isn't intuitive for me
Mechanical plants = robotany?
maybe idk
actually when I think more closely, it does make sense indeed
18:19
@AkivaWeinberger Autonomous plants?
I'm back to the stage where I have more than 100 tabs open so Mobile Chrome just displays ":)" instead of the number of tabs
plants are much autonomous
they prepare their own food
from light
In Sapiens the author makes the point that wheat domesticated humans
@AkivaWeinberger :O me sometimes
rather than the other way around
Though it's not a fair comparison: the "goal" for wheat can be thought of as "make lots of wheat plants" while the "goal" for humanity involves things like happiness and freedom
and isn't tied specifically to population
I need to finish that book
He describes the "population trap": any change that increases population at the cost of decreasing quality of life is irreversible
18:23
i have read very little number of books from hardcore literature, i mostly "eat" textbooks :P :p
Sapiens is kind of a textbook?
Well not really I guess
I'll read sapiens book later
@AkivaWeinberger i not meant so at all
Sort of the same sort of popular nonfiction that Predictably Irrational and Thinking Fast, Thinking Slow are
i meant opposite that i have read very li
ttle on hardcore literatur
Yup i think very slowly
i am excessively slow on everything
Thinking Fast, Thinking Slow is a neat book but there are problems with it
It's about psychology
A lot of the psychology experiments it cites couldn't be replicated
Hmm, it seems like my Google Scholar has stopped sending me updates when I get new citations.
Does anyone know what that might be caused by?
i probably saw it on google bookstore
I saw someone do a review that said, all the experiments that the author did himself are sound (good), but many of the other stuff aren't
but have not got time to read it
18:26
And should I just recreate the alert?
I have very little idea of how Google Scholar works
sorry for spam but, I need help big time with this math.stackexchange.com/questions/3340893/…
@AkivaWeinberger i cannot find any first and foremost papers on google scholar where a terminology first appeared or where a concept first described. it excessively focus on later papers.
Is something in my writing not understandable or why 0 answers?
@Tuki i dont have that much math knowledge nothing else
i upvoted it though
18:30
right, thanks
Ahh well, I recreated the alert now. Hopefully I will start getting notified again
It always feels nice to get those alerts
Let $f:\Bbb R\to S^1$ be continuous injective function (where $S^1$ is unit circle in $\Bbb R^2$). How to show that $f(a,b)$ is open for any $(a,b)\in \Bbb R$ where $a=-\infty$ and $b=\infty$ are possibilities?
I went like this: Maybe, we can consider $f$ as function from $\Bbb R\to [c,d)$, then it is strict monotone (since continuous and injective), then I can prove that $f(a,b)$ open.
But, I can't justify why considering $f$ as function from $\Bbb R\to [c,d)$ is OK.
Maybe lift it to the universal cover?
So now you have an injective function $\tilde f:\Bbb R\to\Bbb R$
Or maybe use the intermediate value theorem
or both
@AkivaWeinberger Use IVT on what? on $f:\Bbb R\to S^1$?
anyone have experience with finite element method?
I think I need to find just the right material for this
18:45
What are you all writing with \? sort of programming?
looks like drive letters or directory path
latex?
you can enable the rendering with bookmark
Do you know what latex is right?
nothing happened on chrome
chrome on windows
you need to copy the link "start mathjax" to bookmarks
then come back to chat
and then click bookmark on chrome
18:49
So
Gonna try to make that^
Overcome the first hurdle: printing out the pdfs of the shapes
Second hurdle: Finding tape (or glue?) somewhere
and also cutting these out (which might be difficult with scissors)
save to bookmark bar?
yes the link
i clicked to open the link on new tab it shows it shows about:blank#blocked
but on main SE site mathjax works excellently
the link isn't actually link but piece of javascript
my javascript is enabled
18:51
yes
but you need to make bookmark so you can run the script on this page
I assume you could also run it through the console, though it has some spaces replaced by %27 so you would need to put those back
do ctrl + shift + o in chrome
then upper right corner has menu
click "add bookmark"
then give it a name and copy the script into the url section
maybe any unknown security update blocking this script from run
i'll think it later
if you dont have any plugins installed which would do that then I dont think so
@AkivaWeinberger lovely
i have to go to seleep i have lot of work tomorrow
bye
@AkivaWeinberger just 2 notes: 1. what is a gyroid?
2. idk why it seems so but it looks like prolamellar body
so are those prolamellar bodies sort of gyroids???
<3
i'll see details later, i'll follow up.
It's what's called a "minimal surface"
Which means that it locally minimizes surface area
If you take a sufficiently small piece of it, it has the smallest possible surface area for that piece's boundary
Like a soap film
it looks incredibly majestic
last one looks like an array of tetrahedral tunnels am i right?
19:10
The "skeleton" of the tunnels that the gyroid creates
Not sure what the green is
incredible
Another polygonal version
3
Q: Does this infinite isohedron with the surface topology of the gyroid have a name?

D PikerI was experimenting with discretizations of the gyroid minimal surface in Rhino (3d modelling software), and modelled this infinite polyhedron, and wondered what it is called. I didn't find any documentation of it yet, but perhaps I am not searching for the right terms. All its faces are the sam...

This finite element method is incredibly interesting
Unlike many other minimal surfaces, it contains neither straight lines nor planes of symmetry
Apparently the equation$$\sin x\cos y+\sin y\cos z+\sin z\cos x=0$$approximates it pretty well
^3D grapher
(Also Macs have a grapher program pre-installed)
Hm, not working?
Works on the Mac grapher program
i use geogebra
So I read all of this, and what I gleaned is as follows:
The methods used in producing large cardinals:
1. Make the first cardinal that is unreachable using a previous operation (formalised by the elementary embeddings and their critical points)
2. Use the reflection axiom to produce larger cardinals between CAI and the current position you are stuck in
3. Iterate whatever operation you are currently using, until it seemly get stuck (stationary sets, a-(insert large cardinal property) cardinal)
4. So huge it can partition things or make two things between the models cannot be distinguished (Ramsey cardinals mainly)
5. So huge that some class of cardinals are effectively measure zero in size (Measurable cardinals, supercompact cardinals)
6. Start iterate on the elementary embedding itself
7. And finally, let the universe to map into itself so it gets larger (Reinhart, Berkerley)
I think my favourite are the measurable cardinals and their generalisations. They do not just prove consistency of some theory beneath them, they also map out the distribution of many large cardinals
and most importantly, they deviate from the usual strategy of iterating an operation and find the next critical point
Sorry typo, CAI should be V
The Ramsay cardinals are one of the most well studied as they are tied to a famous open problem in combinitorics
19:57
not working on mathpix and geogebra
bye tonight
 
1 hour later…
21:03
Benoit B Mandelbrot famously said "Clouds are not spheres"
to explain for his theory of fractal geometry
That's one direction for geometry to go in
I feel like the gyroid represents a different direction
@AkivaWeinberger what does the B in Benoît B Mandelbrot stand for?
Benoit B Mandelbrot badum tish
> His New York Times obituary stated that "he added the middle initial himself, though it does not stand for a middle name",[1] an assertion that is supported by his obituary in The Guardian.[2]
Wait wow
OK so it really could be that
I read that clouds maintain the same fractal dimension (measure of "roughness") over 10 orders of magnitude, making them one of the most uniform fractal objects on the planet
I don't understand how you do fractal geometry
I'm more interested in how the name got the circumflex
> From Old French beneoit, inherited from Late Latin benedictus, from Latin benedīcō. Doublet of bénit, béni and benêt.
Do you just measure the fractal dimension of various things and graphs?
How do you use that to make predictions?
> Early form of the name was spelled with an "s" (Benoist), but as with many words in the French language, the "s" was eventually replaced with a circumflex accent over the "i".
yeah but the "s" is not from Old French
so it should be a hypercorrection
or an analogy
> ÉTYMOL. ET HIST. A.− 1. Ca 1130 beneeite (Couronnement de Louis, éd. E. Langlois, 27 : Quant la chapele fu beneeite); 1172-75 benëoit « sur qui a été répandue la bénédiction divine, bienheureux » (Chr. de Troyes, Chevalier Lion, 2380 dans T.-L. : benëoiz Soit mes sire Gauvains); ca 1190 « qui a été consacré par des cérémonies rituelles » ewe benëeite (M. de France, Purgatoire, 469, ibid.); 1150-1200 pain benëoit (Aliscans dans Bartsch, Chiertomathie, 19, 227), devenu iron. 1546 (Rabelais, Tiers Livre, éd. Marty-Laveaux, chap. 32, t. 2, p. 159 : et vous ayme tout mon benoist saoul), qualif
1150-1200 "benëoit", 1546 "benoist"
21:14
Why not Benédit
or something
@AkivaWeinberger because the word is directly inherited from Latin
which means that the intervocalic "d" underwent lenition
I don't know enough about the historic sound changes of French
so for example, Latin "sedēre" becomes French "seoir"
If I have function $f(x)$ what i call $x$?
parameter?
whats the right word
input
argument
parameter
21:18
isnt parameter sort of programming related?
I've heard argument used in some textbooks
so is the rest of the words i said tbh
It doesn't really matter what you use?
or does it depend on context?
it doesn't really matter
Leaky do you know anything about finite-element method?
I glanced at the wiki and it seems like using a finite grid to estimate the continuum
21:27
Sounds about right
to solve PDEs
Having some difficulties in understanding what exactly I'm supposed to do math.stackexchange.com/questions/3340893/…
Yes to solve PDEs that's one application of FEM indeed
I need to solve some PDEs later with this but first I have this simpler problem
can't exactly figure out how to form the matrix for this equation
Any thoughts?

« first day (3315 days earlier)      last day (2002 days later) »