College Math Teaching

September 22, 2013

Mathematics journal articles: terse but is it the author?

Filed under: advanced mathematics, point set topology, research — Tags: , — collegemathteaching @ 11:54 pm

Via Recursivity:

It’s a sad truth, but the mathematics research literature is very tough going for beginners. By “beginners” I mean bright high-school students, or university students, or beginning graduate students, or even professional mathematicians who are trained in an area different from the article he/she is trying to read. […]

Things like this permeate the mathematical literature. Take compactness, for example. Compactness is a marvelous tool that lets you deduce — usually in a non-constructive fashion — the existence of objects (particularly infinite ones) from the existence of finite “approximations”. Formally, compactness is the property that a collection of closed sets has a nonempty intersection if every finite subcollection has a nonempty intersection; alternatively, if every open cover has a finite subcover.

Now compactness is a topological property, so to use it, you really should say explicitly what the topological space is, and what the open and closed sets are. But mathematicians rarely, if ever, do that. In fact, they usually don’t specify anything at all about the setting; they just say “by the usual compactness argument” and move on. That’s great for experts, but not so great for beginners.

I really wonder who was the very first to take this particular lazy approach to mathematical exposition.

Hmmm, often it is the reviewer, referee or editor. They accept your paper, but make you take out some details (and, to be fair, add others)

A colleague and I are thinking of starting a journal called “The Journal of Omitted Details”.

But yes, this practice makes some mathematics very difficult for the non-expert to read.

Note: the usual definition of a compact set (given some topology) is: X is compact if, given any collection of open sets U_{\alpha} where X \subset \cup_{i \in \alpha} U_{\alpha},there exists a finite number of the U_{\alpha} where X \subset \cup^{k}_{i=1} U_{\alpha i}. That is, any open cover has a finite subcover. This is equivalent to saying that any infinite set of points in X has a limit point, and in a metric space this means that X is both closed and bounded.


Leave a Comment »

No comments yet.

RSS feed for comments on this post. TrackBack URI

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

Blog at

%d bloggers like this: