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

Every topological space is measurable, since we may canonically equip a topological space with its Borel $\sigma$-algebra. A bornological space is like a topological space, except the structure described "bounded" sets instead of "open" sets. Similarly, the morphisms are "bounded" instead of "continuous".

Formally, that a bornological space is a pair $(X, \mathbf B)$, where $\mathbf B$ is a set of subsets of $X$ which covers $X$, is downward-closed, and is closed under finite unions [wiki | nLab]. We may trivially assign a measurable structure to every bornological space by defining simply $\mathcal B = \sigma(\mathbf B)$, the minimal $\sigma$-algebra which contains the bornology $\mathbf B$.

What kind of measure theory can one do in this setting? For example, are there necessary and sufficient conditions for a bornological space to admit a non-trivial measure? Is there a classification of $\sigma$-ideals for a bornological space?

share|cite|improve this question
Since it is downward-closed, you get lots of power-sets contained in your sigma-algebra. So is this a question on measurable cardinals? – Gerald Edgar Feb 27 '13 at 14:32

Usually we find a measure space and look into its bornological stuff, not conversely, a helpful reference may be founded in this book: U. H¨ohle and S. E. Rodabaugh, eds., Mathematics of fuzzy sets: logic, topology and measure theory, Handbook Series Another reference may be S. T. Hu's research papers.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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