A Mind for Madness

Musings on art, philosophy, mathematics, and physics

Leave a comment

Covering Lemma 1

Internet was a bit weird lately, and I didn’t want to lose a post half-way through, so I decided to wait in writing this. I seem to have a weakness when it comes to figuring out how metric properties and measure properties interplay. It is almost inevitable that you will need to call upon some “covering lemma” to get the job done. These are used extensively in differentiation, but also less-known in generally defining measures that interact nicely if your space already has a metric.

Lebesgue Number: Given a compact metric space (X, d), then for any open cover, there exists \delta>0 such that if a set has diameter less than \delta it is contained in one of the members of the cover.

Proof: Really you just do all the stadard tricks, and then tie them together. So let \{U_i\}_{i=1}^n be a finite subcover of our cover. (We ignored the whole space being a member for trivial reasons). Now define C_i=X\setminus U_i and a function f: X\to \mathbb{R} that basically averages the distances to each C_i. This gives us f(x)=\frac{1}{n}\sum_{i=1}^nd(x,C_i). Now for any x, we know that x\in U_i for some i, and this set is open so there is an \epsilon>0 small enough so that B_\epsilon (x)\subset U_i, thus d(x, C_i)\geq\epsilon yielding f(x)\geq \frac{\epsilon}{n}.

Since f is continuous and X compact, f achieves its min. We call this \delta. Now if E is a set with diameter less than \delta, then we can pick any x_0\in E and get that B_\delta (x_0)\supset E. Now \delta\leq f(x_0)\leq d(x_0, C_k) where C_k is chosen as the maximal distance to any of the C’s. But then we have it since U_k=X\setminus C_k\supset E. Thus any set of diameter less than delta is contained in a member of the covering.

There are some interesting other ways of proving this. This is I think considered the “standard” since Munkres does it this way.

OK. So I guess I’ll do a series of these. I was going to do two in this post, but I don’t feel like doing the other now that I just typed that out. Also, if I do a series I can do the three that I feel are most important instead of just the two easier ones.


Not Compact Unit Ball

Here is a beautiful little theorem. The unit ball in an infinite dimensional Hilbert space is not compact. The proof is quite simple. So the unit ball B=\{v\in \mathcal{H} : \|v\|\leq 1\}. Recall that since this is a Hilbert space, we have an inner product defining this norm \langle v, v \rangle=\|v\|^2.

Since our space is infinite dimensional, we can choose \{v_1, v_2, \ldots \} to be linearly independent inductively. Basic application of Gram-Schmidt gets us this set to be orthonormal, in particular, each one has norm 1 and so is in the unit ball.

Now look at the distance between any two \|v_i - v_j\|^2=\langle v_i - v_j, v_i - v_j \rangle

= \langle v_i, v_i \rangle -2\langle v_j, v_i \rangle +\langle v_j, v_j\rangle



Thus all are \sqrt{2} apart and hence there is no subsequence that converges. Since sequential compact and compact are the same here, we are done. (Note the inner product is not symmetric, but I knew the middle terms would be zero, so I went ahead and abused that instead of writing two zeros).

I know the result to be true in a Banach space as well, but I don’t see a quick fix without the inner product…

A lot more of these things will start popping up with my analysis prelim two weeks from today.

Leave a comment

Rabbit, Run

I promised this a few weeks ago, but just haven’t gotten around to it. For all you literary types out there, don’t look shocked, but this was my first Updike novel. For those of you unfamiliar with Rabbit, Run it is the first book in a series of four. Two of the four won Pulitzer prizes (only one other author has won twice in the category of fiction, and he did it in the same set of novels!). Updike in general is probably more known for novels such as The Witches of Eastwick.

On to the actual book. I was infatuated with the writing for the first 50 pages or so. It was unlike anything I’d ever seen. It was a sort of prose-poetry hybrid. Attention was paid to flow and rhythm and partial rhymes. The metaphorical language was beautifully constructed. Then I started getting into the story and didn’t notice it as much. I guess you could say I got used to it. This only lasted probably another 50 or so pages. Then the language started to really annoy me. What I considered great metaphorical language before was now just plain distracting.

Here is an example. I just opened to a random page completely confident that I would have a whole slew of choices. “Number 61 is a big brick place with white wood trim, a little porch imitating a Greek temple, and a slate roof that shines like the scales of a big fish.” Now that might not seem like much, but when it happens nearly every sentence it is hard to focus. I start thinking about Greek temples and fish. Maybe I just have a short attention span.

The story itself was great, in my opinion. Basically, this guy (people call him Rabbit), feels trapped in his life. He has the job he didn’t think he’d end up in, the wife he didn’t think he’d end up with, one child to feed and another on the way, routine, routine, routine…and he just needs to get out. So he runs. Leaves his pregnant wife one night.

Most reviews that I’ve looked up say that they hate the book because they can’t like Rabbit. That it is impossible to identify with a character so morally void. I’m not entirely sure these reviewers have ever truly examined their lives, though. I love what I do and it is exactly what I want to do, yet I can’t help but identify exactly with what Rabbit went through. What about people actually in his situation?

Here is why I condemn those reviewers and am going to set the record straight. I am at a relatively early stage of my life. I haven’t made it quite as far into “the trap” as Rabbit, since I don’t have a long-term job or family. But even my language there indicates how real this trap is. After grad school I will either get a post-doc or take a teaching position. Once I’m in a tenure track position, I’d be crazy to leave. All the while I’m fighting to establish myself as a researcher and teacher to get the tenure. Once you have tenure, you’d be crazy to leave, so that determines where I live for the rest of my life. When you truly examine it, you start to realize, am I deciding my life, or has it been preplanned for me?

There seems to be this socially accepted stages to life. You haven’t lived a successful life unless you go through these. So now you start asking yourself the question, well, I don’t particularly want to change my path, but if I did, could I? Remember, I’m at an early stage, but even this early, how significantly could I really alter my the path I just listed? Luckily, I’m not that far into the trap, so I probably could, but if I had a minimum wage job with a family, I probably couldn’t get up one morning quit and say that I want to become an author or something. Once you realize that you are stuck, it doesn’t seem to matter whether you want to change or not. It is the whole fact that you can’t. It is like someone else is controlling your life and not you anymore.

I should stop harping on this point. To sum up, other great points come up in the novel about religion and its role in situations like these. I don’t want to really give anything else away. I just wanted to emphasize the point that most people hate the book because they can’t identify with Rabbit, and I say how can you not?


New and Improved AMFM

Yes. I just abbreviated A Mind for Madness as AMFM. In an attempt to get more organized I’ve changed the theme to a more organizational friendly one. I’ve added some stuff to get more organized and categorized all the old posts.

I looked at many themes and was dissatisfied with some aspect of almost all of them. This was the closest I think to what I was looking for. I was able to compactly get the categories in a drop down as with archives. I like the idea of a search, so I added that. I also like when I see the latest comments on other people’s blogs, since people could be commenting on something from a long time ago, so I added that.

The thing I don’t like is that this seems a little harsher on the eyes. Oh well. I really wanted a three column instead of a two, but there are very few choices for that.


Blogging Habits

I secretly feel like a really horrible blogger. There are so many useful tools that wordpress has given to me, yet I use almost none of them. Some things I notice and like about other blogs that I don’t do:

1) I believe they are called “trackbacks”? I tend to refer to something from thirty posts ago and don’t give anyone any simple access to that material. I’m sure anyone that doesn’t read this relatively often (most people) aren’t too happy about that and don’t even bother to look up what I was referring to.

2) I tag, but I’m very unorganized. My original intent to not creating categories was that I wanted things to be cross discipline. I felt that if I stuck it in categories I would ruin that effect. Now I just think it is poor blogging technique (and this is my 73rd post so I definitely don’t feel like going back and doing it now).

3) I don’t really use any of the widgets or tabs to make navigation easy. It also creates a formidable effect that it is all one thing and you can’t easily read the parts that are of interest.

Now on to just general blogging techniques I’ve looked up:

1) You should use a narrow focus. Lots of blogs in a special area attracts a lot more readers than lots of random stuff all over the place.

2) I don’t use an RSS feed for reading other blogs. Instead I use the time consuming method of just looking to see if anything new has been posted.

3) I don’t send my stuff out through external RSS or pings that aren’t already built into wordpress.

I’m sure there were others that prompted me to write this. Mainly I think it is that the graph that tells me how many people visit each day stopped working for some reason and I’m taking it as a sign that I’m using poor technique. So I’m thinking about making some major changes, but I’m not sure what yet.

I sort of want to narrow the focus, yet at the same time I like having it as an escape from math on certain days. Get thinking about something else. On other days I like to use it to clarify some things for myself that I found interesting in math. So…

1 Comment

Lateral Thinking Puzzle

When war comes up in conversations, it tends to polarize people. Only two options seem to be available: you’re for it or against it. I don’t fit either one/I fit both.

The problems with war…in every situation. I tend to raise the point that in basically every situation, war has been to fight some sort of violence. The problem with that is that violence feeds violence. Violent people want precisely what war is giving them. More specifcally, you can’t fight a war on terror by causing terror. Comments such as these tend to throw me into the anti-war group.

Clearly, the nonviolent side isn’t correct either. A million nonviolent people will be killed by a single violent one. Of course, nonviolence has worked in the past, and in fact it wasn’t a form of non-action as many people try to say. The problem is that first times have changed. The nonviolence of Ghandi and King Jr. clearly won’t work against things like nuclear or biological weapons. The other part that made those nonviolent actions effective, in my opinion, is that it relied on the fact that the people hitting the nonviolent protestors did not actually want to hurt them. They were under orders and doing their job. The nonviolence brought out a feeling of immorality in the violent side. I don’t think that this is the case in our current situation. Suicide bombers kill innocent people, and this is the point of the action. A huge group of nonviolent protestors will just make their job easier.

So the two sides of the argument don’t work. Both have had some form of success in the past, and people tend to polarize toward one or the other, but I think our times have changed enough that pursuing either one is completely hopeless.

I now propose a lateral thinking puzzle: What type of solution at least has some sort of potential to work?


A Refutation of a Refutation of Moral Relativism

First off, I am not a relativist, but there is one refutation of relativism that has always seemed a little fishy to me. Lots of famous people have used this argument including Sam Harris featured several posts ago.

Relativism says that there is no universal moral code, and that all moral standards need to be created within a cultural/social/individual situation. So there are no absolutes in right or wrong, it all needs to be considered in context.

So lets look at the argument against it. It comes from logic. There are no universals. But that statement seems to indicate a universal moral principle: we must always make moral judments based on context. So it is a condtradictory theory in that it proposes a statement that can’t be true or false. “There are no universals” is sort of Godel-esque. If it is true, then it itself cannot exist, and if it is false, then the theory is wrong.

There are a few issues I have with this analysis. First off, I think that we change levels when we talk about that statement. The statement’s truth or false refers to the content of the theory, whereas to talk about the truth or false of the statement is a meta-level higher. For example, you can globally define a variable in programming (not recommended, by the way). You have a universal for your program, but each time it is instantiated it could take on a different or varying meaning. This is like saying relativism can have the universal principle to not harm others, but in different contexts this could be displayed rather differently. Maybe a few people have to be harmed to prevent a lot of others from being harmed. Maybe two people get pleasure out of harming eachother that outweighs the harm. So there is a level distinction, where even if relativists don’t make any of these universal claims, we can see how a universal claim can be implemented relativistically.

Well, I used the term “first” but accidentally did both of my refutations in one. I was going to separate how logically statements involving universals can be done at different levels, and then the second point as how there could be implicit universals in relativism without changing the essence of the theory.

As with any post on ethics, I’m not sure if this has been done before or if this is a good argument, but it has always been something that bothered me since I didn’t think it really had any merit in attacking relativism. (Remember, it is sort of weird that I’m defending it since I don’t subscribe to it for reasons not mentioned here).


Get every new post delivered to your Inbox.

Join 270 other followers