RiemannIntegrable

RiemannIntegrable - CONTINUOUS ALMOST EVERYWHERE Definition...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: CONTINUOUS ALMOST EVERYWHERE Definition 1. Let be a subset of R . We say that has measure if, for each > , there is a sequence of balls ( B j = B r j ( c j ))) j N with radii r j > (and centres c j R ), such that uniontext j N B j and j =1 r j < . The balls here are open intervals of lenght 2 r j , so the series j =1 2 r j < 2 is the sum of lengths. However, the balls could intersect each other, so 2 is just an upper bound for the total length or volume (what we will call measure) of their union uniontext j B j . A full definition of measures is beyond the scope of this course; the only important property that we will use here is that subsets have smaller measure than the set that they are contained in (assuming both are measurable). So the above Definition just says that the measure of is smaller than 2 for any > . So if the measure of is to be a nonnegative real number the measure of will indeed be . Examples of measure subsets of R are all finite and countable subsets (see Lemma below) as well as the (uncountable) Cantor set. Lemma 2. Let R be a countable subset, then has measure . Proof. By assumption, we can enumerate = { c j | j N } . Now for any > choose the sequence of radii r j = 2 j 1 , then clearly uniontext j N B r j ( c j ) contains (since it contains every c j as centre of a ball) and we have j =1 r j = k =0 2 k 4 = 2 < . Given a function f : [ a, b ] R , we say it is continuous almost everywhere if the set f [ a, b ] of discontinuities of f has measure . If the set of discontinuities is finite or countable, then f is continuous almost everywhere, for example. So the function f ( x ) = 1 /x for x negationslash = 0 and for x = 0 is continuous almost everywhere. However, this function is not Riemannis continuous almost everywhere....
View Full Document

Page1 / 3

RiemannIntegrable - CONTINUOUS ALMOST EVERYWHERE Definition...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online