What is a set function? In fact, what is a function? Before jumping into the deep water, let us take a moment to review the idea of a function, what it is, and how it is useful to us.

1) Definition: Given two non-empty sets and a *function* is a **rule **(i.e. a set of instructions) where each element of is “paired” with exactly one element of . Set is denoted as the *domain* of and is denoted as the *range or codomain. *We use the notation,

Now that we have cashed-out the idea of what a function is defined as, we can move toward our defining a “set function.” However, let’s take a step back and address the basics of sets and what they are. A function is perhaps one of the most important mathematical concept that exists. In fact, the essence of a function is merely, upon reduction and distillation of all the abstract fluff, an encoding of of information from one group of objects to another. This encoding process happens according to a well-defined list of rules.

I mean, do you like to cook? Have you ever baked a cake? You take one group of “stuff” and add other “stuff” in a specific *fashion* to produce the end result –this is the essence of functions. Now, to get to the idea of a set, one does not need stray from the conception of a group (in the conventional sense of the word). We group things together all the time. We group people, places, and things by attaching place-holders or by “tagging” a name to a group and then “baptizing” (see Kripke’s works, specifically, *Naming and Necessity*) the elements as members of the set we have tagged. An action such as ‘baptizing” an element a member of a specific group can be as arbitrary as one wants. For example, consider the group:

M={car, ~car, Fabio, train, shoe, glass, uranium, qualia, Hume, Leibniz, farm, Obama, Ross, jerk, nice and quarks}

Some of the objects in M share similarities, and some do not. The relations amid the elements in M are not consistent across all elements of the group M. Their are things in M that are inconsistent (i.e. car, and ~car or Hume and Leibniz). The properties shared among each elements, and across all elements are not uniform. Nonetheless, this is a set. That is, we say M is a set, and the stuff in M are its elements.

Cantor proclaimed,

A set is a gathering together into a whole of definite, distinct objects of our perception [Anschauung] or of our thoughtâ€”which are called elements of the set

Some sets are better than others. I mean, consider the set of real numbers:

={0,1/2,2,6,600, 21, , e, 4, -5,…}

This set is very specific as to what elements can be contained in it. In fact, there exists a criteria, which is a list of properties that each element must possess in order to be in this set.

Sets are also acted upon by certain rules and operations. For example, what if we take a simple version of M, say M’ and let it possess the following:

M’={car, train, shoe}

and, now, let a new set called R contain the following:

R={car, leaf, stalk}

We can, from a linguistic standpoint, say, “hey, M’ and R, **together**, are the set of {car, train, shoe, leaf, stalk}!” This is true, and we can say that “the set M’ and R **share** {car}!” This is where the simple operation of disjunction and conjunction apply (i.e. or/and), but from a set-theroetical view, they do not necessarily apply in the exact same way we use the words “or” and “and.” In fact, as you can see above, putting the sets together is adding all of the elements of one to the other. This process calls for a disjunction or **uniting** of the sets as whole. Moreover, the process the entails a conjunction is one where one set **intersects **another set. So, we say,

M’ R ={car, leaf, stalk, train, shoe} for M’ united with R, and for M’ intersects R, we say that M’ R ={car}.

So, what, then, does it mean to say that there exists some , a set function on A?

2) Defintion: A set function is a function (same as above) whose input is a set and the output is a real number.

Basically, probability is a set function as is a measure (as we shall soon see).

If any and are two sets, we write to indicate that if or where denotes the compliment of B. And if and are *disjoint, *we say that their *intersection* is empty -that is, they do not share anything. We denote such sets as .

Now, since we are trying to work our way down to a very fundamental and important idea in mathematics, we have to continue with some more definitions. Up to now, all this has seemed very basic and, perhaps, peace-wise. Thus, let’s pin-point our goal.

We are trying to develop the theory of the Lebesgue integral; this will require the expounding of set functions, rings, and, as such, the development of measure theory. From there, we arrive at Lebesgue integration.

### Measure Theory

#### Definitions and properties

1) Defintion: A family of sets is called a ring if and $latex{\rightarrow}$

i) and

ii) if is a ring, then is a ring.

A ring is called a -ring if,

i)

whenever Since

ii)

if is a -ring.

This is all very nice, but it is very convoluted. Lets reduce it down a bit, shall we?

Let be any non-empty set. A $latex{\sigma}$-algebra of subsets of is a family of subsets of with the following properties:

p1) is non-empty.

p2) *Closure under compliment: *if or, you could say, A\B is in .

p3) *Closure under countable union: *if is a sequence of sets in then

2) Definition: We say that is a set function defined on if it assigns to every a number $latex\phi({A})$ of the real numbers line. Now, we say that is *additive *if implies:

p4)

Now, we really want to jump a bit further, and define as *countable additive * if for j not equal to i implies

p5) *Countable additivity: *for any mutually disjoint (see above) sets ,

3) **Theorem: **Suppose that our set function $latex{\phi}$ is countably additive on a ring . Suppose further that where n is a natural, , and,

then as , we have:

**Proof:**

Set and notice that . It follows that, for , and . Thus,

and

Now that we have established these facts, we arrive a the point where we can construct the Lebesgue measure. This will be done using a new post.