MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Occasionally I see the use of the word "data" in definitions. For instance, one definition of an exact sequence starts off by saying, "An exact sequence of abelian groups (or modules or vector spaces) is given by the data of two homomorphisms [...]" (Perrin, Algebraic Geometry).

I've heard this term used in class as well once. In these instances data of course does not refer to data as used in statistics, as in data from an experiment.

What is the purpose of using such a strange word in abstract mathematics? Has anyone noticed this word?

share|cite|improve this question

closed as not a real question by Theo Johnson-Freyd, Anton Geraschenko Dec 26 '09 at 23:29

It's difficult to tell what is being asked here. This question is ambiguous, vague, incomplete, overly broad, or rhetorical and cannot be reasonably answered in its current form. For help clarifying this question so that it can be reopened, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

This is not a real question. – Harry Gindi Dec 26 '09 at 8:56
I suppose it's not mathematical; nevertheless I do think it's important to be careful in mathematical exposition to make the text as clear and beautiful as possible. I'm not saying that the use of the word "data" is overly confusing, but I think the way definitions are written can subtly influence the understanding of the reader, and that we ought to pay attention in formulating them. – Jason Polak Dec 26 '09 at 15:42
I do not find this "strange" at all. – Gerald Edgar Dec 26 '09 at 18:31
At best, this is community wiki. – Harry Gindi Dec 26 '09 at 19:54
I'm closing this as "not a real question," but it could also be closed as "subjective and argumentative." Latching on to some technical definition of a common word and objecting to any other use is just silly, like objecting to somebody saying "mosquitoes are vectors for disease" or insisting that "my answer is technically more informative then yours because it uses more characters, so therefore carries more information." – Anton Geraschenko Dec 26 '09 at 23:29

In mathematics, the word "data" is often used for the most general mathematical noun. One may consider a set, a function, a category, a group, or seven groups "data."

But for data to be interesting, it must have some sort of structure. Thus the data must satisfy certain properties.

A set-with-binary-operation consists only of data: a set S and a function f: S x S ---> S. It becomes a semi-group when we add a requirement to this data: the function must be associative.

In general, people speak of "data" and "structure." These are the raw materials and craftsmanship that create the mathematical universe.

share|cite|improve this answer
Is this in line with the shift in recent mathematics from set-theoretic thinking to a more categorical thinking where the objects we study are not necessarily formulated in terms of some set with relations? It would be interesting to trace the appearance of this word. – Jason Polak Dec 26 '09 at 15:46

This use seems in line -- although perhaps not identical -- with the following dictionary definition:


  1. Factual information, especially information organized for analysis or used to reason or make decisions.

  2. Computer Science Numerical or other information represented in a form suitable for processing by computer.

  3. Values derived from scientific experiments.

It is often used in mathematics in the way you have identified above. Namely, when defining a mathematical structure, it gives the reader a heads up as to the fact that that the structure is "multi-sorted" and involves more than one object. In more formal language, one might say "tuple", e.g.,

"A topological group is a triple $(G,m,\tau)$, where G is a set, $m: G \times G \rightarrow G$ is a binary operation, and $\tau$ is a family of subsets of $G$, such that...."

One could also have said "A topological group is given by the data G,m,$\tau$..."

share|cite|improve this answer
This is sort of implicit in your answer, but perhaps it is worth pointing out that data is the plural of the latin word datum (something given). The word datum is often used for a single unit of information and so using the word data really does mean that several units of information need to be given in order to specify e.g. a short exact sequence. – Dan Petersen Dec 26 '09 at 8:36
@DP: That's useful, thanks. – Pete L. Clark Dec 26 '09 at 8:52
Thank you for your answer. Usually when I read definitions the words are either fairly primitive, or else mathematical. Like "together with", "tuple", etc. it seems to me that data is slightly less primitive in a way and thus it was a bit unsettling to read. It seems unnecessary :) – Jason Polak Dec 26 '09 at 15:36

Not the answer you're looking for? Browse other questions tagged or ask your own question.