I read abstracts quite a lot and I also have to write them occasionally. Nowadays I usually write abstracts quite quickly and don’t think too much if the abstract is going to be good. This semester I am organizing a seminar for the graduate students and post docs in our department (we simply call this seminar “research seminar”) and especially have to collect the abstracts to make the announcements. Since all mathematical institutes here are involved, the topics vary a lot: abstract algebra, numerical linear algebra, mathematical physics or optimization. Hence, it may happen that I get abstracts which I can hardly access and I thought if it is always possible to write an abstract someone like me can understand. At this point I should probably explain what I mean by “understand”: I think that an abstract should allow to locate the field in which the talk will be situated. Moreover, I should understand what the objects of interests will be and what the role of these objects is in the field. Moreover, it would be good if I would be able to estimate how the topic of the talk is related to other fields of mathematics (especially to fields I am interested in).
Since the people who give talks in our research seminar are mostly quite early in their career I made the following experiment: When I received a new abstract I read it thoroughly and tried to understand it in the above sense. Usually there was something which I totally not got and I went ahead and replied to the speaker and asked very basic questions which I asked myself while reading the abstract; questions like “What are the object you talk about?” or “What can one do with these objects or results?”. The speakers then responded with a new version of the abstract and from my point of view this process always produced a way better abstract.
Hence, I started thinking about rules and tips to write a good abstract. From what I’ve written above, I tried to deduce some rules which I collect here:
- Avoid jargon. Although this sounds obvious, most abstracts contain jargon in one way or the other. Of course one can not avoid the use of specific terminology and technical terms but even then there is an easy check, if a technical term is appropriate: Try to find a definition on the internet – if you do not succeed within a few minutes you should find a different word. I’ll try to illustrate this with an example (which I randomly choose from arxiv.org on a topic which is quite far away from mine):
On a convex body in a Euclidean space, we introduce a new variational formulation for its Funk metric, a Finsler metric compatible with the tautological Finsler structure of the convex body.
I know what a convex body in Euclidean space is and I know what could be meant by a variational formulation; however, I had no idea what a Funk metric is – but it was not hard to find out that a Finsler structure is something like a “metric varying continuously from point to point”. Well, its still open to me, what the “tautological” Finsler structure of the convex body shall be, but this is something that I hope, a talk or paper could explain. This example is somehow borderline, since the additional explanation still leads to terms which are not all defined on Wikipedia or Wolfram MathWorld. But still, this sentence gives me something: The author studies the geometry of convex bodies and will come up with a variational formulation of a special metric.
- Use buzzwords. This may sound to contradict the precious point and in part it does. But beware that you can use a buzzword together with its explanation. Again, the example from the previous point works: “Funk metric” may be a buzzword and the explanation using the name “Finsler” is supposed to ring a bell (as I learned, it is related to Hilbert’s 23rd problem). This helps the readers to find related work and to remember what was the field you were working in.
- General to specific. In general it’s a good advice to work from general to specific. Start with a sentence which points in the direction of the field you are working in. So your potential audience will know from the beginning in which field your work is situated.
- Answer questions. If you think that your work answers questions, why not pose the questions in the abstract? This may motivate the readers to think by themselves and draw their interest to the topic.
- Don’t be afraid of layman’s terms. Although layman’s terms usually do not give an exact description and sometimes even are ridiculously oversimplified, they still help to form a mental picture.
Finally I’d like to repeat an advice which you can find in almost every other collection of tips on writing (e.g. here: Write, read, rewrite and reread your abstract. Repeat this procedure.
Concerning the fact that weak and strong convergence coincide on (also know as Schur’s Theorem) I asked about an elementary proof in my last post. And in fact Markus Grasmair send me one which I’d like to present here. It is indeed elementary as it does not use any deep mathematics – however, it is a bit tricky.
Theorem 1 (Schur’s Theorem) A sequence in converges weakly iff it converges strongly.
Proof: As always, strong convergence implies weak convergence. To proof the opposite we assume that but for some . From this assumption we are going to derive a contradiction by constructing a vector with unit norm and a subsequence such that does not converge to zero. We initialize , set , choose such that and define the first entries of as
Now we proceed inductively and assume that for some the numbers the subsequence and the entries have already been constructed and fulfill for all
(Note that for these conditions are fulfilled: (1) is fulfilled since the sum is empty, (2) is fulfilled since and (3) is fulfilled by definition.) To go from a given to the next one, we first observe that implies that for all it holds that . Hence, we may take such that and of course we can take . Since is a summable sequence, we find such that and again we may take . We set
By construction, the properties (1), (2) and (3) are fulfilled for , and we see that we can continue our procedure ad infinitum. For the resulting (indeed ) and the subsequence we obtain (using the properties (1), (2) and (3)) that
Although this proof is really elementary (you only need to know what convergence means and have a proper -handling) I found it hard to digest. I think that this is basically not avoidable – Schur’s Theorem seems to be one of these facts which easy to remember, hard to believe and hard to prove.
Let’s try a direct proof that implies in .
Proof: We know that a weakly convergent sequence in is pointwise convergent (by testing with the canonical basis vectors), hence for every it holds that for . For some we write
By pointwise convergence of we know that the first sum converges to zero for every . Hence, we can proceed as follows: For a given first choose so large such that for all and then choose so large that . This sounds nice but wait! How about the choice of ? The tails of the series shall be bounded by uniformly in . That sounds possible but not obvious and indeed this is the place where the hard work starts! Indeed, one can prove that this choice of is possible by contradiction: Assume that there exists an such that for all there exists a such that . Alas, this is same thing which we have proven in the proof of Markus…
Indeed, the construction Markus made in his proof can be generalized to obtain the Nikodym convergence theorem:
Theorem 2 Let be a sequence of signed finite measures for which it holds that for every measurable set (which is equivalent to the weak convergence of to zero). Then the sequence is uniformly countably additive, i.e. for any sequence of disjoint measurable sets the series converges uniformly in .
One may compare this alternative proof with Exercise 11 (right after Theorem 5 [Nikodym convergence theorem]) in this blog post by Terry where one shall take a similar path to proof Schur’s Theorem.
This morning I was looking for the book “Vector measures” by Diestel and Uhl in our local math library. Although it was not there I found the book “Sequences and Series in Banach Spaces” by Joseph Diestel. This (very nicely written) book on somehow advanced theory of Banach spaces contains a number of facts of the type “yeah, that is true, although not easy to see; however, I do not know any reference for…”.
1. The dual of
The question on how the dual space of looks like seems to be of interest for many people (e.g. questions on it are frequently asked on the web, e.g. at math.stackexchange). Diestel’s book has the chapter “The Classical Banach Spaces” and in the section “The Classical Nonreflexive Sequence Spaces” he describes helpful properties of the space , and .
The spaces and have the property that maps into them can be extended to larger domains:
Theorem 1 Let be a linear subspace of a Banach space and let be bounded and linear. Then there is an extension of having the same norm as .
Proof: Since is bounded, it holds for all that and hence the mappings are all elements in the space —we denote them by . This gives the representation
By Hahn-Banach there exist the extensions of onto (with equal norm) and hence, an extension of is given by
For something similar holds but only for separable spaces (with a more involved proof):
Theorem 2 Let be a linear subspace of a separable Banach space and let be bounded and linear. Then there is an extension of .
Then Diestel moves on to the dual space of : (which stands for the bounded and (finitely) additive measures). Although this topic is also treated in other classical book (as “Linear Operators” by Dunford and Schwartz), the exposition in Diestel’s book was the most lively I came across.
Start with an . For a subset of the natural numbers the characteristic function belongs to and hence, we can evaluate . Of course, is disjoint additive in and for disjoint we have
This shows that indeed contains finitely additive measures. I’d like to quote Diestel directly:
A scalar-valued measure being bounded and additive is very like a countably additive measure and is not [...] at all pathological.
Now we denote by the Banach space space of bounded additive scalar-valued measures on endowed is with the variational norm (which can be defined through the Hahn-Jordan decomposition and is, in a nutshell, the measure of the positive set plus the measure of the negative set)
For and disjoint finite subsets of the natural numbers it holds for every that
We see that adds up the measures of countably many disjoint sets, especially, is an absolutely convergent sequence. However, the sum does not have to be the right one: may be smaller than . Diestel says that it is not fair to blame the measures for this probable defect but it is “a failure on the part of the underlying field of sets”. He goes on the make this precise by the use of the Stone representation theorem which assigns to any Boolean algebra (in our case the algebra of subsets of ) the appropriately topologized set of ultrafilters and in this set he considers the Boolean algebra of the sets which are “clopen” (which is isomorphic to the original algebra ). He then considers not acting on but its identical twin on and shows that there one needs to work with the closure of the union of sets and this makes the identical twin of even countably additive. In this sense, the lack of countable additivity is not a failure of but of , so to say.
2. Weak convergence in is strong
As a unique feature of I’d like to quote Diestel again:
Face it: the norm of a vector in is as big as it can be () if respect for the triangle inequality and the “unit” vector is to be preserved.
The following theorems hold:
Theorem 3 For every separable Banach space there exists a bounded and linear operator which is onto.
Theorem 4 Let be a Banach space and bounded, linear and onto. Then contains a subspace that is isomorphic to and complemented.
Probably the most stunning fact about is that weak and strong convergence coincide. To show this Diestel used heavy machinery, namely Phillips’ Lemma.
Lemma 5 (Phillips’ Lemma) Let be in and satisfy for every . Then
Theorem 6 (Schur’s Theorem) In it holds that iff .
Proof: As always, strong convergence implies weak convergence and we only have to show the converse. Of course we considered and hence, by canonical embedding into the double dual, there is for every a and for every it holds that
Let be a weak null sequence in . Then it holds that
Now, Phillips’ Lemma gives
By the way: Does anyone has a reference for a more direct/elementary proof of Schur’s Theorem?