Mathematics - 2012-08-25 (page 1 of 4)

Jonas Teuwen

12:00 AM

@PeterTamaroff What you do is find the largest integer below $H_n$.

And prove the rest is smaller than $1$.

And that doesn't seem to be so hard.

And I bet @robjohn is very good in that.

I have very good problems for my BSc/MSc students. Will be lots of fun.

Peter Tamaroff

@JonasTeuwen What do you mean by "the rest"?

Jonas Teuwen

@PeterTamaroff The fractional part.

Peter Tamaroff

@JonasTeuwen Will give it a shawt. First, I'll drink some beer and eat.

Jonas Teuwen

Hmm... beer you say? I would skip the problem and replace it with more beer.

2

user19161

I will skip the beer and the problem and have water instead.

Jonas Teuwen

12:05 AM

Without beer and Scotch life would be unbearable.

user19161

Without water life would not exist.

user19161

My rep is now 22,222 on ELU!

Jonas Teuwen

@JasperLoy So water is the root of all evil.

Jayesh Badwaik

@JonasTeuwen Water is algebraically closed w.r.t evil.

user19161

Also, my MSE rep is now 1,881, another palindrome.

Jonas Teuwen

12:25 AM

@JasperLoy A palindrome for palindrome!

Would that be a good post for ELU?

user19161

@JonasTeuwen Ah yes, I think it would be closed as too localized!

Jonas Teuwen

@JasperLoy Why?

One word is too localized?

I can make it a discussion about ...

user19161

@JonasTeuwen Well, you can try posting, but I suspect it will be downvoted quite quickly!

Jonas Teuwen

@JasperLoy There is a Dutch non-profit organization that wants to find such a word.

@JasperLoy That sucks.

user19161

@JonasTeuwen Well, you can try posting there. No harm. There just might be such a word!

Jonas Teuwen

12:30 AM

@JasperLoy There is one in Dutch now.

"eisreversie".

Which is literally "demand symmetric inversion"

J. M.

@PeterTamaroff Hey. Yes, I still remember that question of yours. Somewhat unfortunately, I lost the code I use for simulating optics, so it might be a while before I can get to that. At least, the planar case is easy, if you know the usual formulae for the evolute and the orthotomic.

Jonas Teuwen

@J.M. Wait... you simulated optics??

What kind of optics?

This brother does all kinds of theoretical optics. And needs coauthors. I have three (perhaps four...) students! 8-).

J. M.

@JonasTeuwen Just simple reflection/refraction in the plane (i.e. geometric optics), nothing fancy. :)

Jonas Teuwen

Oh, high school optics...

user19161

I think I will just do edits to increase my rep on math and tex to 2k each, hehe!

J. M.

12:33 AM

@JonasTeuwen Yes, real optics will take so much more effort to simulate. ;)

Jonas Teuwen

@J.M. Yes.

@J.M. Maxwell in hyperbolic form is quite a bitch. Non-linear Schrödinger?

J. M.

(but it is at least sufficient to handle Peter's problem)

Jonas Teuwen

Actually, I want the students the write me some code.

That's why you have students right?

J. M.

@JonasTeuwen Right, quite nasty.

@JonasTeuwen ~~slaves~~ students, yes.

Jonas Teuwen

Well, I actually want to solve the problem but it is too much. I have too many problems to solve!

For one that is the Existenzkrise! Kopfschmerz!

But they somewhat give a reason for me to actually don't slack.

Peter Tamaroff

12:36 AM

@J.M. I know about the evolute only.

Jonas Teuwen

Convolute.

Peter Tamaroff

But not in the context of optics, just in the context of curvature.

J. M.

@PeterTamaroff You're familiar with the pedal?

Jonas Teuwen

I don't know what evolute means in the context of optics.

J. M.

@PeterTamaroff It's the same thing. :)

Peter Tamaroff

12:37 AM

@J.M. Nay. What's that?

Jonas Teuwen

Since I am able to do research in that... I should know some high school stuff.

Computer-assisted teaching... so I will have to talk less. Perfect.

J. M.

@PeterTamaroff Pedal; orthotomic.

The neatest way to think of the orthotomic is this: if you have a given curve and a given point, and you draw all the circles centered at the given curve and passing through the given point, the envelope of your circles is the orthotomic.

Jonas Teuwen

You sound like you could make me some good code, @J.M.. Interested in doing a MSc thesis in computational optics...? 8-). (is joke...)

Peter Tamaroff

@JonasTeuwen They probably have the recipe layed out, or have done a research on "bipolar" disorder so they want to have things easier....?

J. M.

@JonasTeuwen Man, I'm way past the thesis stage already; don't make me go through it again! :D

Peter Tamaroff

12:40 AM

@J.M. Coooooooooool.

Jonas Teuwen

Damnit!

user19161

Dammit is a variant of damnit.

Jonas Teuwen

@PeterTamaroff Their conclusion is based on some atypical things like: I work.

@J.M. But... you will get a coffee card and cool goodies. Like free printing. In colours man.

That's the best I can offer.

user19161

@JonasTeuwen awfully

user19161

@JonasTeuwen Because they know you are my bro!

J. M.

12:43 AM

@JonasTeuwen :P

Peter Tamaroff

@J.M. Oh! Do you know about Holditch's theorem?

@JasperLoy Thanks.

@J.M. Awesum!

@J.M. Also, all these people here make awful code... and ugly graphs. Matlab you know.

J. M.

12:44 AM

Here's how to show that the cardioid is the orthotomic of a circle with respect to a point on the circle's circumference.

Jonas Teuwen

It needs more functional programming.

J. M.

@JonasTeuwen Yes, I do MATLAB too. :)

Jonas Teuwen

Holy cow.

Peter Tamaroff

@J.M. That's the orthotomic to the circle? (viz the cardioid?)

Jonas Teuwen

Different plotting lib?

I resort to C if the answer would involve MATLAB.

If you want to MATLAB my code, use it as a module.

J. M.

12:45 AM

@PeterTamaroff As I said, the envelope of the circles.

Peter Tamaroff

@J.M. Holditch's? Heard of it?

Jonas Teuwen

Awful Awesum.

J. M.

@PeterTamaroff Only now. Looks like a neat trick.

Jonas Teuwen

I also want to learn to make awesome graphics.

J. M.

Anyway: if you take the evolute of the orthotomic, that's the (cata)caustic.

user19161

12:47 AM

@JonasTeuwen Use pstricks dude.

J. M.

(and since the evolute of a cardioid is another cardioid... well, you can infer the rest.)

Jonas Teuwen

Man, I am already in pain enough, why would I use postscript... I don't really fancy pain.

user19161

If you really love 3D stuff, use asymptote.

Jonas Teuwen

I did.

J. M.

@Peter Here's the corresponding orthotomic diagram for the nephroid:

Jonas Teuwen

12:48 AM

Nephroid... kidney?

Peter Tamaroff

@JonasTeuwen Jah.

J. M.

@JonasTeuwen It's called that because it's approximately kidney-shaped, yes. :)

Peter Tamaroff

@J.M. Oh, gawd, what s the original curve?

user19161

@J.M. Looks like my balls!

J. M.

@PeterTamaroff It's a circle, but this time it's the orthotomic about the diameter. (I.e., you can have a point-orthotomic and a line-orthotomic).

@JasperLoy :P

Peter Tamaroff

12:50 AM

@J.M. Oh, OK.

@JasperLoy Dude, that's clearly meiosis going down.

Jonas Teuwen

Whee... admin access for courses in blackboard. Now I can do some kickass trolling...

J. M.

In the line-orthotomic case, instead of "passing through the given point", it's "tangent to a given line".

Jonas Teuwen

They. must. be. joking. Recording. again.??!

user19161

Come on, who flagged that?

Jonas Teuwen

You know how hard it is to kick somebody out when anybody in the world can be watching?

user19161

12:51 AM

Please tell me.

Jonas Teuwen

Flagged...?

J. M.

@PeterTamaroff ...and if you take the evolute of that line-orthotomic, you get the caustic from a light source at infinity.

user19161

Someone flagged my message. Who is it? I won't get upset.

J. M.

@JasperLoy I dismissed it, but...

Peter Tamaroff

@J.M. Huhuhuh.... I don't know if I can handle it.

Jonas Teuwen

12:52 AM

What message?

user19161

@JonasTeuwen The "balls" message.

Jonas Teuwen

@JasperLoy Your balls have a weird shape. Also, why do you open your scrotum? That explain the pstricks!

2

user19161

If you don't like it, you can just tell me directly.

Jonas Teuwen

@JasperLoy Don't worry, my likingness compensates for plenty of disliking.

J. M.

@PeterTamaroff Heh. Anyway, if you want a gentle intro, this book might be what you want.

Jonas Teuwen

12:56 AM

@J.M. Hey! That was the first week project I had when I was a toddler at the university.

@J.M. This is also quite fancy and useful in this optics business.

I am trying to push Ricci curvature in the optics stuff...

My final goal is to have cute ridiculously hard solutions for simple problems nobody cares about.

J. M.

Whee, ellipsoids. :)

Jonas Teuwen

That's just an ugly circle...?

Elliptic polarization for my light.

J. M.

@JonasTeuwen Don't knock the ellipses, my friend. :)

Jonas Teuwen

I am working on a cute problem for tissue state measurement using lasers.

Skin is like a non-linear crystal...

So the higher order terms (asymptotics!) in the refractive index cause frequency doubling and cute stuff like that.

We detect that.

And then some MD dudes do stupid statistics to relate it to the measurements.

Well, we is not me. I just try to burn the skin.

For melanotic sarcomatic purposes.

"Damn? 50mW not enough? Meh, let's do it right then... 100W CO$_2$."

J. M.

@JonasTeuwen It's cheaper to just spend a day at the beach without sunblock... :P

Jonas Teuwen

1:04 AM

@J.M. But I want to burn the bad parts :P.

Additionally detect when I am making it worse :P.

J. M.

@JonasTeuwen Oh, that's what psoralens are for. :)

Jonas Teuwen

Well, first the detection...

@J.M. Yes, that is... true. But first it is purely diagnostics.

Peter Tamaroff

@J.M. Good reference to have at hand!

Jonas Teuwen

The non-linearity of the skin states something about it's condition... apparently.

I asked: "How deep fried would you like your skin?", but... they didn't think it was funny.

J. M.

@JonasTeuwen Mmm, extra crispy... :D

Peter Tamaroff

1:06 AM

nothing to do here

Jonas Teuwen

I have %nothing here anymore in my code...

Under the motto: deleted code is debugged code.

@J.M. Yea, these MDs. Y so srsly?

They seem to do research because of status.

I just like to set things on fire in a technologically advanced way.

J. M.

@JonasTeuwen ...and then he forgot to remove a few mirrors in the room...

Jonas Teuwen

Oh, he quickly took his protective glasses.

8-).

Oh well.

@J.M. Mirrors in a laser lab? That would be a bit dangerous.

This is the lab... where the guys that made our CD worked!

J. M.

@JonasTeuwen Yes, I know. That's why you scrupulously get rid of stray reflective surfaces before turning on anything. :)

user19161

Anyone knows how to make Debian autoupdate flash without writing a script?

Jonas Teuwen

1:12 AM

Do you use nsplugin?

user19161

I am not sure what that is but I see no such plugin in my browser.

Jonas Teuwen

nsplugin-wrapper.

I believe it called.

I like wrappers for bad software.

And Flash certainly qualifies.

It is even so bad no wrapper will help. I suggest rm -rf.

user19161

Debian has a flash package that installs flash from the Adobe site, but one needs to manually run a command to update it.

Jonas Teuwen

@JasperLoy Then check out the contents of the package, right?

The script should be included.

user19161

@JonasTeuwen Yeah, but that is too hard for me. Never mind thanks. I just wanted to see if there is a simple way.

user19161

1:15 AM

Also, the default to XFCE is making me think of switching.

Jonas Teuwen

@JasperLoy The package apt-file will help you!

Run this update-flashplugin-nonfree --install

user19161

@JonasTeuwen Yes, I know. But that is not autoupdate. It is not part of apt-get dist-upgrade.

Jonas Teuwen

Don't do that.

Autoupdate for bad software is bad.

user19161

But anyway this Flash will be gone in 4.5 years!

user19161

After that one needs to use Chrome to get the plugin on Linux.

Jonas Teuwen

1:17 AM

Then I will be a doctor or twice already!

user19161

I might have started grad school by then.

Jonas Teuwen

I hope it ceases to be by then.

user19161

Or I might have left the world.

Jonas Teuwen

That's also an option.

But better leave the world with a PhD, man.

user19161

Very often, I wish I don't wake up when I go to sleep.

Jonas Teuwen

1:18 AM

I have spent about five hundred bloody euros on travel expenses for travels I did not make this month!

That's normal. I call it Existentzkrise.

Well, actually it is more like: "is this heaven? shit it is not." in the morning.

user19161

Do you like your current life @jonas?

Jonas Teuwen

Almost neverywhere! 8-).

user19161

Is that meant to start with n?

Peter Tamaroff

@JasperLoy You mean lifestyle

user19161

@PeterTamaroff Actually I meant life.

user19161

1:21 AM

Well, hmm, never mind.

Jonas Teuwen

@JasperLoy Yes.

user19161

@JonasTeuwen Well, I hope our next life is better. :-) Maybe we will meet then!

Peter Tamaroff

@JasperLoy (The image in not in response for that!)

2

Bad syncing!

user19161

@PeterTamaroff I understand. I am not JLO for nothing you know.

Jonas Teuwen

Haha!!!

Peter Tamaroff

1:24 AM

@JasperLoy Do Buddhism believe in reincarnation into animals and stuff?

user19161

@PeterTamaroff Yes.

Jonas Teuwen

But whatever you do... don't play human torch! Some dude did that in Amsterdam and when he got extinguished he was in terrible pain and died from terrible infections a couple of days later!

Probably no mucocutaneous candidiasis!

Peter Tamaroff

@JasperLoy You can be a pony. Did you give that some thinking? Just balance your karma accordingly and bam!

Jonas Teuwen

Or a unicorn.

user19161

@PeterTamaroff Why do you want me to be a pony?

Peter Tamaroff

1:25 AM

@JasperLoy Supposedly, ponies enjoy of rainbows, happyness and friendship.

Jonas Teuwen

@JasperLoy Have you ever seen a sad pony?

user19161

In general, animal lives are worse than human lives.

Peter Tamaroff

@JonasTeuwen HAHAHAH

@JasperLoy Not if you're a pony.

Jonas Teuwen

Right. Less humans, more ponies.

user19161

@PeterTamaroff Haha. And it's spelled happiness. And you should probably omit the of there.

Jonas Teuwen

1:27 AM

I want to be a unicorn. If you annoy me I'll put that uni thing up your rear.

user19161

@JonasTeuwen Pain!

Jonas Teuwen

@JasperLoy Nothing wrong with that right? After all, you do use pstricks.

user19161

@JonasTeuwen Hehe.

user19161

@peter How is your Mendelson now?

Peter Tamaroff

@JasperLoy Good. I'm doing some Calculus from Apostol though. You can also be a dog

user19161

1:31 AM

@PeterTamaroff Well, you always call me that don't you?

user19161

Dawg.

Peter Tamaroff

@JasperLoy You would only be a true dawg if you have that cool ring with your name on it and smoke pot.

user19161

@PeterTamaroff My ring and pot are invisible.

Jonas Teuwen

@PeterTamaroff I bet you would also behave like that if they insert a cell phone in your rear.

Peter Tamaroff

@JasperLoy You can also be a cat

►

OR A MIX!

user19161

1:34 AM

@PeterTamaroff Like a lolcat.

robjohn

1:46 AM

@J.M. That's just staring a fly in the eyes!

Jonas Teuwen

@robjohn When you are a spider, yes.

robjohn

@JonasTeuwen I have a 47mW green laser pointer... great for pointing out constellations, etc

Jonas Teuwen

@robjohn We can easily do 47W.

robjohn

@JonasTeuwen I imagine so.

Jonas Teuwen

Burn the constellations will be a bit hard, but... maybe in the future.

47TW.

robjohn

1:49 AM

@JonasTeuwen might create a column of plasma in the atmosphere, too.

Jonas Teuwen

@robjohn Yes.

It will actually ionize the air... kickass.

robjohn

@JonasTeuwen I think that is what I said...

Jonas Teuwen

Yes. But I wanted to say lightning. (It is almost 4AM...) 8-).

robjohn

@JonasTeuwen A friend and I used to use a Krypton laser he had to turn off street lights outside his apartment.

Jonas Teuwen

@robjohn Turn off... because it is a power hungry beast?

robjohn

1:52 AM

@JonasTeuwen no, by hitting the light sensor on top.

Jonas Teuwen

@robjohn Ahh! Here they just modulate a signal on the mains.

robjohn

@JonasTeuwen They still have sensors here, but I think they filter things better so that my laser pointer doesn't turn them off (or perhaps I just need to be above them).

Jonas Teuwen

@robjohn Mm, just a "shield". Very low tech. 8-).

robjohn

@JonasTeuwen I think it is baffled or something. There is no visible shield.

user19161

@robjohn Krypton laser? It exists? I thought it only is used in Superman.

Jonas Teuwen

1:56 AM

@robjohn Or just a simple layer of filtering material... 8-).

But then it stays off?

robjohn

@JonasTeuwen Depends on what they want to look for to turn off the lights.

user19161

Seriously, 11 votes for the answer? math.stackexchange.com/questions/186421/…

Jonas Teuwen

@robjohn Obviously not Krypton lasers.

robjohn

@JonasTeuwen It stays off for a while. A bit of hysteresis to keep it from flickering.

Jonas Teuwen

@robjohn Mm, your proof of the non-integerness is... better.

@robjohn Oh, yes.

robjohn

1:58 AM

@JonasTeuwen why not?

Jonas Teuwen

@robjohn Because I suppose they want to have it work when no sun and go off when sun.

Not when some guy with a laser is having fun.

robjohn

@JonasTeuwen Oh, I see to what you were referring... they don't want to look for Krypton lasers :-)

Jonas Teuwen

@robjohn Maybe they want the lights go off at well when the aliens arrive... 8-).

When did it pass 4AM?

robjohn

@JonasTeuwen That would be the case in any movie :-)

@JonasTeuwen what proof?

Jonas Teuwen

@robjohn This one. I just wanted to do some ad hoc reasoning by finding the floor.

user19161

2:03 AM

Do all suggested edits stay in the queue until approved or rejected?

user19161

Or will they disappear after a while?

Jonas Teuwen

@J.M. If using azoles makes it worse. Does that mean they just don't work? 8-).

J. M.

@JonasTeuwen That would have to be a very nasty thing for them not to. There are two new ones out on the market, IIRC; if those don't work as well, you're short of luck.

robjohn

@JasperLoy I think they hang around.

J. M.

@robjohn It does look like one, no? :)

robjohn

2:07 AM

@J.M. very much so.

J. M.

@JasperLoy We keep getting bothered by a brown-colored indicator at the top until somebody takes care of them...

Jonas Teuwen

@J.M. Only fluco 400mg now. Oh well.

Are the new ones tria-?

J. M.

Diflucan, eh? Nasty bugger, to need that.

@JonasTeuwen The brand name they use in America is "Vfend"; I don't know if it's in Europe already...

Jonas Teuwen

@J.M. Yes, it is approved.

robjohn

@J.M. closely related to this

Jonas Teuwen

2:09 AM

Their own statement says: "for candidiasis equivalent to fluconazol, only use for fluconazol resistant..."

J. M.

@robjohn Hah, yes; they're dual!

Jonas Teuwen

I still have to bloody take these fluco thingies for two weeks. No feel like. Oh well.

Peter Tamaroff

Errbudy stup.

robjohn

@JonasTeuwen what brought that old answer up again? Did the question get moved to the front page by the bot?

Peter Tamaroff

$\LaTeX$ times.

texample.net

Jonas Teuwen

2:12 AM

@J.M. All the other azoles have the statement "not more effective than..."

@robjohn Peter linked it.

Peter Tamaroff

@JonasTeuwen @robjohn @JasperLoy You $\TeX$ geeks might like it!

texample.net

Jonas Teuwen

I know it already.

Peter Tamaroff

@JonasTeuwen Well, now I know you know.

robjohn

@JonasTeuwen Oh, okay. I didn't see that, so your comment about non-integerness seemed like a nonsequitur.

Jonas Teuwen

Oh.

Peter Tamaroff

2:14 AM

@JonasTeuwen Supposedly GeoGebra can export TeX and TIKZ images.

robjohn

off to the park. bbl.

Peter Tamaroff

Gotta go

Byes

Jonas Teuwen

@robjohn Bye!

user19161

@PeterTamaroff I knew that 9000 years ago.

Jonas Teuwen

Good night guys!

user19161

2:17 AM

@PeterTamaroff Use pstricks, all euclidean geometry in 2D and 3D solved!

user19161

@JonasTeuwen Night...

user19161

@robjohn Have fun.

user19161

@PeterTamaroff Bye.

user19161

3:25 AM

I got 2000 rep on MSE!

user19161

Now I can officially retire from MSE!

Jayesh Badwaik

Good for you.(tm)

user19161

@JayeshBadwaik What is tm?

Jayesh Badwaik

Google for "Good Thing" "Martha Stewart" "Trademark"

robjohn

@JasperLoy `2000 is your goal?

Trademark

A trademark, trade mark, or trade-mark is a distinctive sign or indicator used by an individual, business organization, or other legal entity to identify for consumers that the products or services on or with which the trademark appears originate from a unique source, designated for a specific market, and to distinguish its products or services from those of other entities. A trademark may be designated by the following symbols: *™ (for an unregistered trade mark, that is, a mark used to promote or brand goods) *℠ (for an unregistered service mark, that is, a mark used to promote or...

user19161

3:36 AM

@robjohn For now. I may return some day and bring it to 100k...

robjohn

@JasperLoy You don't want to be here just for the good company? :-D

user19161

@robjohn Oh I do. I was referring to actively aiming for low-hanging fruit!

Jayesh Badwaik

@JasperLoy That means you will still be one the chat? Nice.

robjohn

@JasperLoy okay... I was getting worried that you only wanted us for our rep :-)

user19161

@robjohn No, I am here for the bros!

Jayesh Badwaik

3:40 AM

Bros before reputation.

user19161

Oh, once we reach 2k we can edit freely but we won't gain rep from edits!

user19161

@GustavoBandeira I answered your quadratic equation question. Remember to upvote it if you find it helpful. It is currently at 0. I did not throw the Fundamental Theorem of Algebra at you since there is an elemenatary explanation.

BenjaLim

4:36 AM

@HenryT.Horton Hey

Kannappan Sampath

6:50 AM

It's raining cats and dogs here.

Hello folks.

Jayesh Badwaik

Hello.

No rain in pune. It never rains here.

most we have is a 5 min drizzle.

Kannappan Sampath

Hmm, that's sad.

It is always nice to see it raining.

missed that. ^^ : -|

Jayesh Badwaik

I was in Nagpur till may. Used to rain a lot there.

Jayesh Badwaik

7:12 AM

Well looks like New Zealand have folded up for 159.

Kannappan Sampath

7:44 AM

Bye folks. Off to the lunch and I have to prepare for my talk, which is at 6 pm today.

Matt

8:33 AM

I voted to close this as duplicate.

BenjaLim

8:44 AM

@Matt I saw your question

Jayesh Badwaik

9:14 AM

@JasperLoy Are you a master at SmallTalk?

Jonas Teuwen

10:45 AM

Sup bros.

Michael Greinecker

hi

Jonas Teuwen

10:57 AM

Let $X$ be compact. The topology induced on $\mathcal M_+(X)$ by the vague topology should be metrizable and seperable right?

Probably also locally compact.

user19161

@JayeshBadwaik If you mean I like to make small talk, then yes.

user19161

I got the mortarboard badge!

Michael Greinecker

@Jonas How does the vague topology relate to the weak* topology?

Jonas Teuwen

It is the weak* topology.

user19161

LOL

Jonas Teuwen

11:04 AM

But weak* topology is just a more general thing for all duals.

Michael Greinecker

@Jonas Metrizable and separable are certainly true for your space then. I'm pretty sure local compactness too.

Jonas Teuwen

@MichaelGreinecker Eh, yes duh.

But I am not sure about the first.

But it must be. We just have compacta in wk* topologies.

I'm pretty sure it must be pretty obvious.

Michael Greinecker

@Jonas That it holds true is state here on page 11, footnote 7, but without a reference.

Jonas Teuwen

@MichaelGreinecker They also assume that it is metrizable (the $X$).

Holy cow, a friend of mine proved an open problem (60 year) in his BSc thesis and he might get a PhD for it... 8-).

Michael Greinecker

11:21 AM

@Jonas I see. But otherwise, I think the result will not hold in general. Take a compact Hausdorff space of cardinality larger than the continuum. Then, even the set of probability measures cannot be a separable metric space, since a separable metric space has at most cardinality of the continuum, but there are more dirac measures,

Wow.

Jonas Teuwen

@MichaelGreinecker Yes, needs some extra conditions. But we identify the set of measures with the dual of $C(X)$, right?

And that is only separable iff $X$ is Polish.

Michael Greinecker

@Jonas So things are hopeless anyways.

Jonas Teuwen

Mmm, not completely, there is more structure, but in general not metric. Need to see.

And we can probably say it for bounded sets?

For example closed balls will be compact (duh) and metrizable wrt the vague topology.

Michael Greinecker

Doesn't that alreas require X to be a metric space?

Jonas Teuwen

Hmm, that friend "invented" Banach-Alaoglu himself but first he had to define the wk* topology. His definitions need some streamlining...

@MichaelGreinecker Yes, I have a vector space in mind with other crazy stuff. But require I don't know. This crazy game theory... so little structure.

I am more used to metrizable stuff. Need to figure this out.