College Math Teaching

March 24, 2015

The Death of the math major at smaller and non-elite universities …

The situation: like many small. private, decent but non-elite universities, we are facing a student shortage. (1100 new freshmen in our peak year; 1030-1040 was more typical, last year was 950). Of course, our university president decided this was a good time to give athletics 8 million dollars from our university budget and, well, she was encouraged to “retire”.

But many of her hires remain and the deans/administrators are on a kick to “make professors more productive”: that is, to have us teach larger classes. They wanted the following enrollment rules: a minimum of 10 students in every “graduate” class and 15 in every upper division class.

Now our department put forth a proposal for a statistics major. One of the proposed courses (advanced statistical modeling) got this feedback from one of the deans (hired by the outgoing president):

Do I understand this correctly? MTH 438 has a prerequisite of 437, which has a prerequisite of 327, which has a prerequisite, etc. Here is my take on the situation, which you are welcome to set me straight on if I have this wrong. It appears to me that a student starting in MTH 121 (calc 1) must take calc 1, calc 2, calc 3, S&P1, S&P2, and applied statistics, all in sequence, before being eligible for 428. L

Let’s be clear: evidently he thinks that 3 semesters of calculus (the standard at most places) and the basic 2 semester sequence in calculus based probability and statistics, along with a basic modeling class is too much for and advanced statistical modeling class. And: ALL IN SEQUENCE. Wow. One must learn to differentiate before calculating a gradient and one must learn multi-variable integration before calculating the expectation of a function of joint random variables. Oh noes, not that!

If that’s the case, then it would seem there is virtually no room for error, no room for taking a semester “off” to dig into a second major (particularly important for students interested in applied statistics, say in a discipline), no room for something not to be taught off cycle due to sabbatical leaves or other faculty leaves. By the time students are eligible to take this course, they will be seniors or perhaps the odd junior who came in with calculus credit. Thus, the course will need to be taught every year, not every other year, and to very few students. Wouldn’t a more open, less prerequisite-laden curriculum afford students more pathways to complete the major, allow them more flexibility to pursue a second major or minor in a related discipline, and grant you and your department the capacity for more nimble course scheduling and enrollment management?

Uh, maybe, but the students in these “prerequisite free” classes wouldn’t be learning anything. Remember he is complaining about having a CALCULUS and “basic probability and statistics” class as being too much.
It doesn’t help that the associate dean is a biologist who assumes to know more than she does.

But that is the way that the “let’s run the university like a business” is shaping up. There is more money in teaching larger sections of courses which aren’t intellectually demanding. It is becoming about “bodies in the class room”, at least at places like ours.

The bottom line: undergraduate mathematics, at least at the junior/senior level, can’t really be taught in a no-prerequisite fashion. But these prerequisites required courses are going to be lower enrollment courses, at least at places like ours.

So, my prediction is that, by the time I retire (15 years? If I am lucky), the math department will be a “service courses only” department and our mathematics major will die.

Now it is possible that the “math major” might be replaced by a “mathematical sciences” major in which students can cobble together a degree by taking some “heavy applied math content” courses in other disciplines and perhaps an “about math” course in our department in which we teach a few “show-and-tell neat stuff from Scientific American” in which we sling around a few neat words and perhaps present a few power points with neat photos.

But we’ll have bodies in chairs…maybe.

I believe that the math major will continued to be offered at Stanford, MIT and places like Big Ten universities but at places like ours, not so much.

I sure hope that I am wrong.

Advertisements

Google Doodle

Filed under: advanced mathematics, algebra, famous mathematicians — Tags: , — collegemathteaching @ 2:52 am

Screen shot 2015-03-23 at 9.47.32 PM

For the prize: what is the significance of the two chains, and which one directly applies to the human subject of this doodle?

The human subject of the doodle is Emmy Noether.

March 17, 2015

Compact Spaces and the Tychonoff Theorem IV: conclusion

Filed under: topology — Tags: , , — collegemathteaching @ 9:14 pm

We are finishing up a discussion of the Tychonoff Theorem: an arbitrary product of compact spaces is compact (in the product topology, of course). The genesis of this discussion comes from this David Wright article.

In the first post in this series, we gave an introduction to “compactness”.

In the second post, we gave a proof that the finite product of compact spaces is compact.

In the third post, we gave come equivalent definitions of compactness

In particular, we showed that:

1. A space is compact if and only if the space has the following property: if A \subset X is an infinite union of open sets with no finite subcover, then A is a proper subset of X ; that is, X -A \neq \emptyset and

2. A space is compact if and only if the space has the following property: every infinite subset E has a perfect limit point. Note: a perfect limit point for a set E is a point x \in X such that, for every open U, x \in U , |U \cap E| = |E| (the intersection of every open neighborhood of a perfect limit point with E has the same cardinality as E .

Note the following about these two facts: each of these facts promises the existence of a specific point rather than the existence/non-existence of a cover of a particular type. Fact 1 promises the existence of an excluded point, and fact 2 promises the existence of a perfect limit point.

When it comes to a point in an infinite of topological spaces, constructing a point is really like constructing a sequence of points (in the case of countable products) or a net of points (in the case of uncountable products). That is, if one wants to construct a point in an infinite product of spaces, one can assume some well ordering of the index used in the product, then construct the first coordinate of the point from the first factor space, the second coordinate from the second factor space, and so on.

We’ll use fact one: the excluded point property to prove Tychonoff’s Theorem.

Proof. Assume that X = \Pi_{\alpha \in I} X_{\alpha} and that I is well ordered. We start out by showing that the product of two compact spaces is compact, and use recursion to get the general result.

Let \mathscr{O} be an infinite union of open sets in X_1 \times X_2 with no finite subcover. First, we show that there is some a \in X_1 such that for each open set U, a \in U , no finite subcollection of \mathscr{O} covers U \times X_2 . Now if there is some open U \subset X_1 where U  is disjoint from every \pi_1 (O), O \in \mathscr{O} we are done with this step. So assume not; assume that every U is a subset of the first factor of some O \in \mathscr{O} . If it isn’t the case that there is x \in X_1 where U_x \times X_2 has no finite subcover of elements of \mathscr{O} , for each such U_x \subset X_1, x \in X_1 there is a finite number of elements of \mathscr{O} that covers U_x \times X_2 . Now since X_1 is compact, a finite number of U_x covers X_1 , hence a finite subcover of \mathscr{O} covers ALL of X_1 \times X_2 . Hence some point a \in X_1 exists such that no finite subcover of \mathscr{O} covers U \times X_2 for any open U \subset X_1, a \in U .

Similarly, we can find b \in X_2 so that for all open V \subset X_2, b \in V , no finite subcollection of \mathscr{O} covers U \times V where U is a basic open set in X_1 that contains a . This shows that (a,b) \notin \cup_{O \in \mathscr{O}} because, if it were, this single point would lie in some basic open set U \times V which, by definition, is a finite subcover.

Now given an arbitrary product with a well ordered index set I we can now assume that there is some collection of open sets that lacks a finite subcover and inductively define a_{\gamma} \in X_{\gamma} so that, if U is any basic open set containing \Pi_{\alpha \leq \gamma} \{a_{\alpha} \} \times \Pi_{\alpha > \gamma} X_{\alpha} then no finite subcollection of \mathscr{O} covers U . The point (a_{\gamma}) thus constructed lies in no \mathscr{O} .

Note: if you are wondering why this “works”, note that we assumed NOTHING about the compactness of the remaining product space factors \Pi_{\alpha > \gamma} X_{\alpha} .
And remember that we are using the product topology: an open set in this topology has the entire space as factors for all but a finite number of indices. So we only exploit the compactness of the leading factors.

Compact Spaces and the Tychonoff Theorem III

Filed under: topology — Tags: , , — collegemathteaching @ 2:49 am

We continue on our quest to prove the Tychonoff Theorem: an arbitrary product of compact spaces is compact. We just show that this is true for the FINITE product of compact spaces.

It is our goal to do this by using elementary tools and avoiding things like nets (for example, Willard uses ultranets)

We will basically adding background and commentary to David Wright’s excellent 1994 paper which appeared in the Proceedings of the American Mathematical Society. We will use a bit of cardinal arithmetic and facts about ordinals at times.

Yes, we do need some background, but the background we are providing is necessary for the understanding of any mathematics that uses topology anyway.

Conditions which are equivalent to compactness

1. If X \subset R^n in the usual topology, then X is compact if X is closed and bounded.
Proof: Let X be compact. Then X is closed because the usual topology for R^n is Hausdorff. X is bounded as well, as if it weren’t, the if x \in X, d(x,0) = M, cover latex X $ by \cup_{x \in X} B_x(\frac{1}{M}) . This open cover has no finite subcover as M is unbounded.

Now let X be closed and bounded. Then X \subset \Pi^n_{i=1} [a,b] for some real a, b , which is compact by our “junior” Tychonoff Theorem. So X is a closed subset of a compact set and therefore compact.

2. I’ll call this the excluded point condition: Let U = \cup_{\alpha \in I} U_{\alpha} , where each U_{\alpha} is open. We say that U lacks a finite subcover if there is no finite subcollection of the U_{\alpha} that covers U. A topological space X is said to have the excluded point condition if any subset U which has an open cover which lacks a finite subcover must exclude at least one point of X ; that is, any set which has an open cover with no finite subcover must be a proper subset of X .

Example of an open cover which lacks a finite subcover: consider [0,1] as a subset of R^1 in the usual topology, and let U = \cup^{\infty}_{n=3}(\frac{1}{n}, \frac{n-1}{n}) ; here \{0, 1 \} are the excluded points from this open cover.

Theorem: a space is compact if and only if it has the excluded point condition for open covers.
Proof. If X is compact then any open cover of X has a finite subcover, hence any subset of X which has an open cover which lacks a finite subcover cannot be all of X .
Now assume that X has the excluded point condition. Let U be any open cover of X . U cannot lack a finite subcover as any subset which has an open cover lacking a finite subcover must exclude a point of X .

3. The finite intersection property condition: let \mathscr{C} be any collection of closed sets. We say that \mathscr{C} has the finite intersection property if the following holds: if the intersection of any finite subcollection of elements of \mathscr{C} is non-empty.

Example: in R^1 , \mathscr{C} = \{ [1 - \frac{1}{n}, 1+ \frac{1}{n} ], n \in \{1, 2, ...\} \} has the finite intersection property. On the other hand, \{ [n, n+1], n \in \{..-2, -1, 0, 1, 2, ..\} \} does not have this property as there are finite subcollections of this set that have an empty intersection.

Theorem: X is compact if and only if the following holds: if \mathscr{C} is a collection of closed sets with the finite intersection property, then an arbitrary intersection of elements of \mathscr{C} is non-empty.

Proof: Let X be compact. Let \mathscr{C} be an infinte collection of closed sets with the finite intersection property. This means that no finite collection of the complements of these sets can cover X Then X - \cap_{C \in \mathscr{C}} C = \cup_{C \in \mathscr{C}}(X - C) is an open cover of a subset of X . Since no finite subcollection of these closed set complements (open sets) can cover all of X , then X - \cup_{C \in \mathscr{C}}(X - C) is non-empty and therefore so is \cap_{C \in \mathscr{C}} C

Now let the finite intersection property hold for X . Let \mathscr{U} be any open cover for X . This means that X-\cup_{U \in \mathscr{U}} U = \cap_{U \in \mathscr{U}} (X -U) is empty. Hence the collection of closed sets \{ (X-U), U \in \mathscr{U} \} cannot have the finite intersection property which means that there is some finite subcollection F \subset \mathscr{U} where \cap_{U \in F} (X-U) is empty which means \cup_{U \in F} U covers X .

4. Limit point compactness: part I. Theorem: a space X is compact if and only if every infinite subset E \subset X has a limit point.
Note: we can actually prove a bit more; that will be in part II. This is a “junior theorem” which can lead the beginner to understanding the “varsity theorem”.

Proof. Let X be compact and let E be an infinite subset of X . Consider: U_{x \in X} U_x where U_x is some open set containing x . If E has no limit point we can assume that the U_x are chosen so that each |E \cap U_x| is finite for each x . Now a finite subcollection of the U_x covers..say \cup_{i=1}^k U_{x_i} and E = \cup_{i=1}^k (U_{x_i} \cap E) . This is impossible as each |(U_{x_i} \cap E| is finite but E is infinite.

Now assume that X is limit point compact in that every infinite subset has a limit point. Let \mathscr{U} be an open cover which has no finite subcover. We assume that this open cover is efficient in that for each U \in \mathscr{U}, U \not \subset \cup_{V \in \mathscr{U}, V \neq U} V ; that is, any U in the open cover contains at least one point not contained in the union of the other open cover sets. Then the set x_{U} \in U is an infinite set with no limit point.

5. Let E be a set with cardinality c . We say that x is a perfect limit point of E if for all open sets U_x containing x , |U_x \cap E| = c . Example: [0,1] has every point as a perfect limit point (usual topology) as [0,1] has the cardinality of the real numbers and if U is open in R^1 and contains any point of [0,1] then U \cap [0,1] has the cardinality of the real numbers.

Now the stronger theorem is this: a topological space X is compact if and only if every infinite subset E has a perfect limit point.

Proof. First, assume that X is compact. Let E be an infinite subset with cardinality c . Cover X by open sets \cup_{x \in X} U_x where x \in U_x . Suppose that for all U_x, |U_x \cap E| < c . Now this open cover of X has a finite subcover U_1, U_2, ...U_k and so we have E = \cup^k_{i=1} U_i \cap E and so |E| \leq |U_1 \cap E| + |U_2 \cap E| + ...+|U_k \cap E| where each |U_j \cap E| < c . This is impossible because c is an infinite cardinal (a limit cardinal) and it is impossible to reach a limit cardinal by a finite sum of strictly smaller cardinals.

If you are new to this and are a bit confused, start by assuming that c is, say, the first countably infinite cardinal. ALL lesser cardinals are finite cardinals, and it is impossible for a finite sum of finite cardinals to add up to any infinite cardinal. Then, imagine c being the first uncountable cardinal. One can not reach any uncountable cardinal by the finite sum of countable (or smaller) cardinals (the finite sum of countable cardinals is still countable). That is more or less what is going on here.

Now, suppose that every infinite set has a perfect limit point. Let \cup_{\alpha \in I} U_{\alpha} be an open cover which has no finite subcover. We can assume that I is the index of smallest cardinality for which this is true and that the cover is efficient: U_{\beta} \not \subset \cup_{\alpha < \beta}U_{\alpha} that is, the open subcover is built by adding open sets which contain at least one point not contained by the previously added open sets. Also we put a well ordering on I where the cardinality of \{ \alpha \in I | \alpha < \beta \} < |I| . If this confuses you a bit, think of a countable index set where the cardinality of the previous indices are finite, or of an uncountable index set where the smaller cardinals are all countable.

So, for each \beta let x_{\beta} \in U_{\beta} - \cup_{\alpha < \beta} U_{\alpha} . Now let E = \cup_{\alpha \in I} x_{\alpha} and note |E| = |I| by design.

Now if x \in X , there is some \alpha < I where x \in U_{\alpha} but |E \cap U_{\alpha}| \leq |I| as all \alpha \in I have smaller cardinality than I Therefore E has no perfect limit point.

Again, the person new to topology can run through this with I first being the countable ordinal (and every previous ordinal having finite cardinality) or I being the first uncountable ordinal with every previous ordinal having at most countable cardinality.

We now have the background to give a simple proof of the full strength Tychonoff Theorem, which we will do in the next post.

March 16, 2015

Compact Spaces and Tychonoff’s Theorem II

Filed under: advanced mathematics, topology — Tags: , , — collegemathteaching @ 6:10 pm

Ok, now lets prove the following: If X, Y are compact spaces, then X \times Y is compact (in the usual product topology). Note: this effectively proves that the finite product of compact spaces is compact. One might call this a “junior” Tychonoff Theorem.

Proof. We will prove this theorem a couple of times; the first proof is the more elementary but less elegant proof. It can NOT be easily extended to show that the arbitrary product of compact spaces is compact (which is the full Tychonoff Theorem).

We will show that an open covering of X \times Y by basis elements of the form U \times V , U open in X and V open in Y has a finite subcover.

So let \mathscr{U} be an open cover of X \times Y . Now fix x_{\beta} \in X and consider the subset x_{\beta} \times Y . This subset is homeomorphic to Y and is therefore compact; therefore there is a finite subcollection of \mathscr{U} which overs x_{\beta} \times Y , say \cup^{\beta, k}_{i=1} U_{\beta, i} \times V_{\beta, i} Note that each U_{\beta, i} is an open set in X which contains x_{\beta} and there are only a finite number of these. Hence \cap^{\beta k}_{i=1} U_{\beta i} = U_{\beta} is also an open set which contains x_{\beta} . Also know that U_{\beta} \times Y \subset \cup^{\beta, k}_{i=1} U_{\beta, i} \times V_{\beta, i}

tychonoff

We can do this for each x_{\beta} \in X and so obtain an open cover of X by \cup_{x_{\beta} \in X} U_{\beta} and because X is compact, a finite subcollection of these covers X . Call these U_1, U_2, U_3....U_m . For each one of these, we have U_j \times Y \subset \cup^{j, k}_{i=1} U_{j, i} \times V_{j, i} .

So, our finite subcover of X \times Y is \cup^m_{j=1}\cup^{j, k}_{i=1} U_{j, i} \times V_{j, i} .

Now while this proof is elementary, it doesn’t extend to the arbitrary infinite product case.

So, to set up such an extension, we’ll give some “equivalent” definitions of compactness. Note: at some point, we’ll use some elementary cardinal arithmetic.

March 15, 2015

Compact spaces and Tychonoff’s Theorem I

Note to the reader: when I first started this post, I thought it would be a few easy paragraphs. The size began to swell, so I am taking this post in several bite sized parts. This is part I.

Pretty much everyone knows what a compact space is. But not everyone is up on equivalent definitions and on how to prove that the arbitrary product of compact spaces is compact.
The genesis of this blog post is David Wright’s Proceedings of the American Mathematical Society paper (1994) on Tychonoff’s Theorem.

Since I am also writing for my undergraduate topology class, I’ll keep things elementary where possible and perhaps put in more detail than a professional mathematician would have patience for.

I should start by saying why this topic is dear to me: my research area is knot theory; in particular I studied embeddings of the circle into the 3-dimensional sphere S^3 , which can be thought of as the “compactification” of R^3 ; basically one starts with R^3 and then adds a point \infty and declares that the neighborhoods of this new point will be generated by sets of the following form: \{ (x,y,z) | x^2 + y^2 + z^2 > M^2 \} The reason we do this: we often study the complement of the embedded circle, and it is desirable to have a compact set as the complement.

I’ve also studied (in detail) certain classes of embeddings of the real line into non-compact manifolds; to make this study a bit more focused, I insist that such embeddings be “proper” in that the inverse image of a compact set be compact. Hence compactness comes up again, even when the objects of study are not compact.

So, what do we mean by “compact”?

Instead of just blurting out the definition and equivalent formulations, I’ll try to give some intuition. If we are talking about a subset of a metric space, a compact subset is one that is both closed and bounded. Now that is NOT the definition of compactness, though it is true that:

Given a set X \subset R^n , X is compact if and only if X is both closed (as a topological subset) and bounded (in that it fits within a sufficiently large closed ball). In R^1 compact subsets can be thought of as selected finite unions and arbitrary intersections of closed intervals. In the higher dimensions, think of the finite union and arbitrary intersections of things like closed balls.

Now it is true that if f:X \rightarrow Y is continuous, then if X is a compact topological space, then f(X) is compact (either as a space, or in the subspace topology, if f is not onto.

This leads to a big theorem of calculus: the Extreme Value Theorem: if f:R^n \rightarrow R is continuous over a compact subset D \subset R^n then f attains both a maximum and a minimum value over D .

Now in calculus, we rarely use the word “compact” but instead say something about D be a closed, bounded subset. In the case where n = 1 we usually say that D =[a,b] , a closed interval.

So, in terms of intuition, if one is thinking about subsets of R^n , one can think of a compact space as a domain on which any continuous real valued function always attains both a minimum and a maximum value.

Now for the definition
We need some terminology: a collection of open sets U_{\alpha} is said to be an open cover of a space X if \cup_{\beta \in I } U_{\beta} = X and if A \subset X a collection of open sets is said to be an open cover of A if A \subset \cup_{\beta \in I } U_{\beta} A finite subcover is a finite subcollection of the open sets such that \cup^k_{i=1} U_i = \cup_{\beta \in I} U_{\beta} .

Here is an example: (\frac{3}{4}, 1] \cup^{\infty}_{n=1} [0, \frac{n}{n+1}) is an open cover of [0,1] in the subspace topology. A finite subcover (from this collection) would be [0, \frac{4}{5}) \cup (\frac{3}{4}, 1]

Let X be a topological space. We say that X is a compact topological space if any open over of X has a finite subcover. If C \subset X we say that C is a compact subset of X if any open cover of C has a finite subcover.

Prior to going through examples, I think that it is wise to mention something. One logically equivalent definition is this: A space (or a subset) is compact if every cover by open basis elements has a finite subcover. Here is why: if X is compact, then ANY open cover has a finite subcover, and an open cover by basis elements is an open cover. On the other hand: if we assume the “every open cover by open basis elements has a finite subcover” condition: then if \mathscr{U} is an open cover, then we can view this open cover as an open cover of the basis elements whose union is each open U_{\beta} \in \mathscr{U} . This open cover of basis elements has a finite subcover of basis elements..say B_1, B_2, ....B_k . Then for each basis element, choose a single U_i \in \mathscr{U} for which B_i \subset U_i . That is the required open subcover.

Now, when convenient, we can assume that the open cover in question (during a proof) consists of basic open sets. That will simplify things at times.

So, what are some compact spaces and sets, and what are some basic facts?

Let’s see some compact sets, some non compact sets and see some basic facts.

1. Let X be any topological space and A \subset X a finite subset. Then A is a compact subset. Proof: given any open cover of A choose one open set per element of A which contains said element.

2. Let R have the usual topology. Then the integers Z \subset R^1 is not a compact subset; choose the open cover \cup^{\infty}_{n = -\infty} (n - \frac{1}{4}, n+ \frac{1}{4}) is an infinite cover with no finite subcover. In fact, ANY unbounded subset A \subset R^n in the usual metric topology fails to be compact: for a \in A with d(a, 0) \geq n choose B_a(\frac{1}{n}) ; clearly this open cover can have no finite subcover.

3. The finite union of compact subsets is compact (easy exercise).

4. If C \subset X is compact and X is a Hausdorff topological space (T_2 ) then C is closed. Here is why: let x \notin C and for every c \in C choose U_c, V_c open where x \in U_c, c \in V_c . Now \cup_{c \in C}V_c is an open set which contains C and has a finite subcover \cup_{i=1}^k V_i Note that each U_i is an open set which contains x and now we have only a finite number of these. Hence x \in \cap^k_{i=1} U_i which is disjoint from \cup_{i=1}^k V_i which contains C . Because x was an arbitrary point in X -C , X-C is open which means that C is closed. Note: this proof, with one minor addition, shows that a compact Hausdorff space is regular (T_3 ) we need only show that a closed subset of a compact Hausdorff space is compact. That is easy enough to do: let \mathscr{U} be an open cover for C ; then the collection \mathscr{U} \cup (X-C) is an open cover for X , which has a finite subcover. Let that be \cup^k_{i=1} U_i \cup (X-C) where each U_i \in \mathscr{U} . Now since X-C does not cover C, \cup^k_{i=1} U_i does.

So we have proved that a closed subset of a compact set is compact.

5. Let R (or any infinite set) be given the finite complement topology (that is, the open sets are the empty set together with sets whose complements consist of a finite number of points). Then ANY subset is compact! Here is why: let C be any set and let \mathscr{U} be any open cover. Choose U_1 \in \mathscr{U}. Since X -U_1 is a finite set of points, only a finite number of them can be in C , say c_1, c_2, ...c_k . Then for each of these, select one open set in the open cover that contains the point; that is the finite subcover.

Note: this shows that non-closed sets can be compact sets, if the underlying topology is not Hausdorff.

6. If f: X \rightarrow Y is continuous and onto and X is compact, then so is Y . Proof: let \cup_{\beta \in I} U_{\beta} cover Y and note that \cup_{\beta}f^{-1}(U_{\beta}) covers X , hence a finite number of these open sets cover: X = \cup^{k}_{i=1}f^{-1}(U_i). Therefore \cup^k_{i=1}U_i covers Y . Note: this shows that being compact is a topological invariant; that is, if two spaces are homeomorphic, then either both spaces are compact or neither one is.

7. Ok, let’s finally prove something. Let R^1 have the usual topology. Then [0, 1] (and therefore any closed interval) is compact. This is (part) of the famous Heine-Borel Theorem. The proof uses the least upper bound axiom of the real numbers.

Let \mathscr{U} be any open cover for [0,1] . If no finite subcover exists, let x be the least upper bound of the subset F of [0,1] that CAN be covered by a finite subcollection of \mathscr{U} . Now x > 0 because at least one element of \mathscr{U} contains 0 and therefore contains [0, \delta ) for some \delta > 0 . Assume that x < 1 . Now suppose x \in F , that is x is part of the subset that can be covered by a finite subcover. Then because x \in U_{\beta} for some U_{\beta} \in \mathscr{U} then (x-\delta, x + \delta) \subset U_{\beta} which means that x + \delta \in F , which means that x isn’t an upper bound for F .

Now suppose x \notin F ; then because x < 1 there is still some U_{\beta} where (x-\delta, x+ \delta) \subset U_{\beta} . But since x = lub(F) then x - \delta \in F and so [0, x- \delta ) \subset F . So if F can be covered by \cup^k_{i=1} U_i then \cup^k_{i=1} U_i \cup U_{\beta} is a finite subcover of [0, x + \delta ) which means that x was not an upper bound. It follows that x = 1 which means that the unit interval is compact.

Now what about the closed ball in R^n ? The traditional way is to show that the closed ball is a closed subset of a closed hypercube in R^n and so if we show that the product of compact spaces is compact, we would be done. That is for later.

8. Now endow R^1 with the lower limit topology. That is, the open sets are generated by basis elements [a, b) . Note that the lower limit topology is strictly finer than the usual topology. Now in this topology: [0,1] is not compact. (note: none of (0,1), [0,1), (0, 1] are compact in the coarser usual topology, so there is no need to consider these). To see this, cover [0,1] by \cup ^{\infty}_{n=1} [0, \frac{n}{n+1}) \cup [1, \frac{3}{2}) and it is easy to see that this open cover has no finite subcover. In fact, with a bit of work, one can show that every compact subset is at most countable and nowhere dense; in fact, if A is compact in the lower limit topology and a \in A there exists some y_a where (y_a, a) \cap A = \emptyset .

March 13, 2015

Moving from “young Turk” to “old f***”

Filed under: calculus, class room experiment, editorial, pedagogy — Tags: , , — collegemathteaching @ 9:09 pm

Today, one of our hot “young” (meaning: new here) mathematicians came to me and wanted to inquire about a course switch. He noted that his two course load included two different courses (two preparations) and that I was teaching different sections of the same two courses…was I interested in doing a course swap so that he had only one preparation (he is teaching 8 hours) and I’d only have two?

I said: “when I was your age, I minimized the number of preparations. But at my age, teaching two sections of the same low level course makes me want to bash my head against the wall”. That is, by my second lesson of the same course in the same day; I just want to be just about anywhere else on campus; I have no interest, no enthusiasm, etc.

I specifically REQUESTED 3 preparations to keep myself from getting bored; that is what 24 years of teaching this stuff does to you.

COMMENTARY
Every so often, someone has the grand idea to REFORM the teaching of (whatever) and the “reformers” usually get at least a few departments to go along with it.

The common thing said is that it gets professors to reexamine their teaching of (whatever).

But I wonder if many try these things….just out of pure boredom. Seriously, read the buzzwords of the “reform paper” I linked to; there is really nothing new there.

March 12, 2015

Radial plane: interesting topology for the plane

Filed under: advanced mathematics, topology — Tags: , — collegemathteaching @ 4:14 pm

Willard (in the book General Topology) defines something called the “radial plane”: the set of points is R^2 and a set U is declared open if it meets the following property: for all \vec{x} \in U and each unit vector \vec{u}_{\theta} = \langle cos(\theta), sin(\theta) \rangle there is some \epsilon_{\theta} > 0 such that \vec{x} + \epsilon_{\theta} \vec{u}_{\theta} \subset U

In words: a set is open if, for every point in the set, there is an open line segment in every direction from the point that stays with in the set; note the line segments do NOT have to be of the same length in every direction.

Of course, a set that is open in the usual topology for R^2 is open in the radial topology.

It turns out that the radial topology is strictly finer than the usual topology.

I am not going to prove that here but I am going to show a very curious closed set.

Consider the following set C = \{(x, x^4), x > 0 \} . In the usual topology, this set is neither closed (it lacks the limit point (0,0) ) nor open. But in the radial topology, C is a closed set.

To see this we need only show that there is an open set U that misses C and contains the origin (it is easy to find an open set that shields other points in the complement from C . )

First note that the line x = 0 contains (0,0) and is disjoint from C , as is the line y = 0 . Now what about the line y = mx ? mx = x^4 \rightarrow x^4-mx = (x^3-m)x = 0 and so the set \{(x, mx) \} meets C only at x = m^{\frac{1}{3}}, y = m^{\frac{4}{3}} and at no other points; hence, by definition, R^2 - C is an open set which contains (0,0) .

Of course, we can do that at ANY point on the usual graph of f(x) = x^4 ; the graphs of such “curvy” functions have no limit points.

Therefore such a graph, in the subspace topology…has the discrete topology.

On the other hand, the lattice of rational points in the plane form a countable, dense set (a line segment from a rational lattice point with a rational slope will intercept another rational lattice point).

So we have a separable topological space that lacks a countable basis: R^2 with the radial topology is not metric. Therefore it is strictly finer than the usual topology.

PS: I haven’t checked the above carefully, but I am reasonably sure it is right; a reader who spots an error is encouraged to point it out in the comments. I’ll have to think about this a bit.

March 11, 2015

Old curmudgeon’s rant: non-seriousness of today’s textbooks

Filed under: academia, pedagogy — Tags: , — collegemathteaching @ 12:38 am

In our department we pass around the “business calculus” course; in a semester we are typically given one “less desirable” course (remedial, business calculus, baby-stats, math for poets or for middle school teachers), one “calculus/differential equations” and one “upper division/linear algebra” type course.

Regardless of level, I’d like to see my students take the course seriously.

So, I look at my “business calculus” text (which I played no role in choosing) and I see stuff like this:

nonsense1

nonsense2

nonsense3

Yes, every few pages, there is a photograph of some young person in business attire (sometimes holding a chart, sometimes not). Yes fans of PC-ness, young people of both sexes and several races are represented; there is even an old, gray person somewhere.

Please tell me what pedagogical purpose this serves.

I swear…our text books are looking more and more like fluff…every year.

Blog at WordPress.com.