2
$\begingroup$

Today was my first day of econometrics, and real analysis, and in both courses the professor defined something called a "field". Unfortunately, the field I learned about in real analysis seems completely different from the field I learned about in econometrics.

The field from analysis is a set with addition and multiplication which obeys 11 familiar axioms. I had already been familiar with this definition of a field from linear algebra but here it was again.

But the field from econometrics was completely different! My notes say,

If $S$ is a sample space, a collection of subsets $\mathcal{S}$ of $S$ is called a field if:

  1. $S\in\mathcal{S}$
  2. Whenever $A\in \mathcal{S}$, $A^C\in \mathcal{S}$
  3. Whenever $A$ and $B$ are in $\mathcal{S}$, $A\cup B\in \mathcal{S}$

Is the field that I learned about in econometrics a completely different thing? Or are they somehow related?

  • 3
    Sounds like a [$\sigma$-algebra](https://en.wikipedia.org/wiki/Sigma-algebra) to me.2012-09-07
  • 2
    @RahulNarain $\sigma$-algebras are closed under countable union.2012-09-07
  • 0
    @Williamm and Rahul It is sometimes simply called an algebra.2012-09-07
  • 0
    According to wikipedia, a $\sigma$-algebra is sometimes called a $\sigma$-field. So I guess, some people may call a regular algebra a field.2012-09-07
  • 0
    It looks like a very different use of the same word. There just aren't enough good words to go around.2012-09-07
  • 0
    To answer the question, they are not related in any obvious way. The name comes from the early 20th century and has to do with arcane notation/vocabulary. I don't remember the details, but I am pretty sure someone already asked for the history of the terminology on this site. I will try to find the relevant feed.2012-09-07
  • 5
    The definition you gave is that of a field of sets (http://en.wikipedia.org/wiki/Field_of_sets). I suppose in some contexts it might just be called a field.2012-09-07

1 Answers 1

6

As Trevor Wilson says in the comments, what you learned about is called a field of sets. A field of sets is in particular a Boolean algebra, and it has two operations (namely intersection and union) which behave formally in some ways like multiplication and addition in a field. For example, intersection distributes over union. But union also distributes over intersection, so this analogy should not be taken too far. And then there is the complement operation too.

There are some other differences, such as the lack of multiplicative inverses and additive inverses. Fields of sets are not actually fields, not even rings, but semirings (or as some call them, rigs).

  • 0
    Like all Boolean algebras, however, they become rings if we take the ring addition to be symmetric difference rather than union.2012-09-07