abstract model for measure and category
abstract
this thesis is an attempt to establish an abstract model
for lebesgue measure and baire category.
in the introduction, we list several similarities between
lebesgue measurable sets and sets having the property of baire.
then we abstract these similarities and use them as axioms.
in chapter i, we introduce a generalized model and prove
some results that are well-known both in measure and category.
in chapter ii, we define kernels and covers. after proving
their existence for any set, we proceed to find some interesting
results.
it is very natural to consider the quotient algebra if
we have an algebra containing a proper ideal. hence chapter iii
inevitably comes into the scene.
in chapter iv we introduce analytic sets through a-operations.
this approach enables us to prove that every analytic set
belongs to our model.
in chapter v we consider the local properties of sets
and prove some interesting results.
chapter vi is taken from the work of j. c. morgan ii.
we include his work here for the completeness of the thesis. also,
as we will see, it gives us a new insight into "negligible sets".
we conclude the thesis by setting up a list of questions
which, we think, are rather challenging.
collections
- retrospective theses [1604]