Skip to main content
MathOverflow

Return to Question

replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link
Community Bot
Community Bot
  • 1
  • 2
  • 3

As stated in this question, Lebesgue differentiation theorem holds on locally doubling space?Lebesgue differentiation theorem holds on locally doubling space? and proved here, http://www.math.uiuc.edu/~tyson/595f15lecture2.pdf the Lebesgue differentiation theorem (LDT) holds in doubling measure spaces. It is also known that every complete doubling metric supports a doubling measure: http://www.ams.org/journals/proc/1998-126-02/S0002-9939-98-04201-4/S0002-9939-98-04201-4.pdf

[From this I conclude that if $\mu$ is a probability measure on a complete doubling metric space $(X,d)$ and $\mu\ll\nu$, where $\nu$ is a doubling measure (whose existence is guaranteed), then $\mu$ is itself a doubling measure and hence satisfies the LDT. EDIT: this is false, ignore.]

Does the LDT hold for probability measures on complete doubling metric spaces? (Can additionally assume $(X,d)$ is compact if needed.)

As stated in this question, Lebesgue differentiation theorem holds on locally doubling space? and proved here, http://www.math.uiuc.edu/~tyson/595f15lecture2.pdf the Lebesgue differentiation theorem (LDT) holds in doubling measure spaces. It is also known that every complete doubling metric supports a doubling measure: http://www.ams.org/journals/proc/1998-126-02/S0002-9939-98-04201-4/S0002-9939-98-04201-4.pdf

[From this I conclude that if $\mu$ is a probability measure on a complete doubling metric space $(X,d)$ and $\mu\ll\nu$, where $\nu$ is a doubling measure (whose existence is guaranteed), then $\mu$ is itself a doubling measure and hence satisfies the LDT. EDIT: this is false, ignore.]

Does the LDT hold for probability measures on complete doubling metric spaces? (Can additionally assume $(X,d)$ is compact if needed.)

As stated in this question, Lebesgue differentiation theorem holds on locally doubling space? and proved here, http://www.math.uiuc.edu/~tyson/595f15lecture2.pdf the Lebesgue differentiation theorem (LDT) holds in doubling measure spaces. It is also known that every complete doubling metric supports a doubling measure: http://www.ams.org/journals/proc/1998-126-02/S0002-9939-98-04201-4/S0002-9939-98-04201-4.pdf

[From this I conclude that if $\mu$ is a probability measure on a complete doubling metric space $(X,d)$ and $\mu\ll\nu$, where $\nu$ is a doubling measure (whose existence is guaranteed), then $\mu$ is itself a doubling measure and hence satisfies the LDT. EDIT: this is false, ignore.]

Does the LDT hold for probability measures on complete doubling metric spaces? (Can additionally assume $(X,d)$ is compact if needed.)

Removed some false claims in light of the comments.
Source Link
Aryeh Kontorovich
Aryeh Kontorovich
  • 6.5k
  • 32
  • 51

As stated in this question, Lebesgue differentiation theorem holds on locally doubling space? and proved here, http://www.math.uiuc.edu/~tyson/595f15lecture2.pdf the Lebesgue differentiation theorem (LDT) holds in doubling measure spaces. It is also known that every complete doubling metric supports a doubling measure: http://www.ams.org/journals/proc/1998-126-02/S0002-9939-98-04201-4/S0002-9939-98-04201-4.pdf

From[From this I conclude that if $\mu$ is a probability measure on a complete doubling metric space $(X,d)$ and $\mu\ll\nu$, where $\nu$ is a doubling measure (whose existence is guaranteed), then $\mu$ is itself a doubling measure and hence satisfies the LDT. EDIT: this is false, ignore.]

Does the LDT still hold if I drop the assumption $\mu\ll\nu$ -- i.e., only assume that $\mu$ is afor probability measuremeasures on a complete doubligndoubling metric spacespaces? (Can additionally assume $(X,d)$ is compact if needed.)

As stated in this question, Lebesgue differentiation theorem holds on locally doubling space? and proved here, http://www.math.uiuc.edu/~tyson/595f15lecture2.pdf the Lebesgue differentiation theorem (LDT) holds in doubling measure spaces. It is also known that every complete doubling metric supports a doubling measure: http://www.ams.org/journals/proc/1998-126-02/S0002-9939-98-04201-4/S0002-9939-98-04201-4.pdf

From this I conclude that if $\mu$ is a probability measure on a complete doubling metric space $(X,d)$ and $\mu\ll\nu$, where $\nu$ is a doubling measure (whose existence is guaranteed), then $\mu$ is itself a doubling measure and hence satisfies the LDT.

Does the LDT still hold if I drop the assumption $\mu\ll\nu$ -- i.e., only assume that $\mu$ is a probability measure on a complete doublign metric space? (Can additionally assume $(X,d)$ is compact if needed.)

As stated in this question, Lebesgue differentiation theorem holds on locally doubling space? and proved here, http://www.math.uiuc.edu/~tyson/595f15lecture2.pdf the Lebesgue differentiation theorem (LDT) holds in doubling measure spaces. It is also known that every complete doubling metric supports a doubling measure: http://www.ams.org/journals/proc/1998-126-02/S0002-9939-98-04201-4/S0002-9939-98-04201-4.pdf

[From this I conclude that if $\mu$ is a probability measure on a complete doubling metric space $(X,d)$ and $\mu\ll\nu$, where $\nu$ is a doubling measure (whose existence is guaranteed), then $\mu$ is itself a doubling measure and hence satisfies the LDT. EDIT: this is false, ignore.]

Does the LDT hold for probability measures on complete doubling metric spaces? (Can additionally assume $(X,d)$ is compact if needed.)

Source Link
Aryeh Kontorovich
Aryeh Kontorovich
  • 6.5k
  • 32
  • 51

Doubling metrics, doubling measures, Lebesgue density

As stated in this question, Lebesgue differentiation theorem holds on locally doubling space? and proved here, http://www.math.uiuc.edu/~tyson/595f15lecture2.pdf the Lebesgue differentiation theorem (LDT) holds in doubling measure spaces. It is also known that every complete doubling metric supports a doubling measure: http://www.ams.org/journals/proc/1998-126-02/S0002-9939-98-04201-4/S0002-9939-98-04201-4.pdf

From this I conclude that if $\mu$ is a probability measure on a complete doubling metric space $(X,d)$ and $\mu\ll\nu$, where $\nu$ is a doubling measure (whose existence is guaranteed), then $\mu$ is itself a doubling measure and hence satisfies the LDT.

Does the LDT still hold if I drop the assumption $\mu\ll\nu$ -- i.e., only assume that $\mu$ is a probability measure on a complete doublign metric space? (Can additionally assume $(X,d)$ is compact if needed.)