Yep its me again, with another dumb question.(adsbygoogle = window.adsbygoogle || []).push({});

Say you have a set I with an ultrafilter F on it. Now I came across the following in a text on nonstandard analysis:

let m be the measure induced by F defined as m(A) =1 if A is an element of F and zero otherwise.

I know this is going to be stupid, but it doesn't seem as though m is even finitely additive. Suppose A and B are elements of F then AUB is in F since if they weren't then their complement A'^B' (A' the complement of A and B' the complement of B and ^ for intersection) would be. But if A'^B' is in F then we could intersect A with A'^B' and get the empty set, which is not an element of F. So anyways, since AUB is in F the "induced measure" m(AUB)=1, but the m(A)+m(B)=2, so what gives?

Thanks

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Measure question

**Physics Forums | Science Articles, Homework Help, Discussion**