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?

  • 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