Does any compact subset belong to Borel Sigma Algebra? Why?
Here Borel Sigma algebra is defined to be the sigma algebra generated by all open subsets in the topological space.
Thanks and regards!
UPDATE:
I found that there are two kinds of definitions for a Borel sigma algebra: one generated by all open subsets, and the other by all compact subsets. These two definitions are equivalent for most typical spaces, including any locally compact separable metrizable space (or more generally any σ-compact space),
Also in the definition for inner regular measure, is it correct that all the compact subsets are required to be Borel measurable, where the Borel sigma algebra is defined to be generated by all open sets instead of compact sets?
I saw in Wikipedia, inner regular measure is defined to be on Hausdorff space. Is a Haursdorff space a locally compact separable metrizable space or a σ-compact space? Or in a Hausdorff space, the sigma algebra generated by all compact subsets is a proper subset of the sigma algebra generated by all open subsets?
Thanks!