A subspace with dimension strictly less than the dimension of vector space has (Lebesgue) $measure=0$. Let $V$ be a vector space with $dimension=n$. To show that some set $S$ in V is zero-measure, is it enough to show the existence of bijective projection between $S$ and a subset of a subspace of $V$ with $dimension < n$?
2025-01-12 23:38:06.1736725086
Is a bijective projection function measure preserving?
993 Views Asked by user2684957 https://math.techqa.club/user/user2684957/detail At
1
There are 1 best solutions below
Related Questions in MEASURE-THEORY
- Question about algebra and σ–algebra
- Invariant measure of Lorentz Group
- Set of discontinuities of bounded function has measure 0.
- To check whether a set is measurable.
- Show that ${F : F ⊆ Y, f ^{-1}[F] ∈ Σ}$ is a σ-algebra
- The exterior measure of a closed cube is equal to its volume (specific discuss)
- Does taking the limit of the inclusion-exclusion formula work here?
- Compute $\lim_{n\to\infty} \int_{0}^{1}{\frac{n^{3/2}t}{1+n^3t^3}dt}$ using Dominated Convergence Theorem
- Convergence in $L^{1}$ and integrability
- Showing continuity from above of Lebesgue-Stieltjes measure
Related Questions in LEBESGUE-MEASURE
- Set of discontinuities of bounded function has measure 0.
- To check whether a set is measurable.
- Showing continuity from above of Lebesgue-Stieltjes measure
- Union of one set of outer measure zero and one set of outer measure $\geq 0$ has outer measure zer0.
- How bad can be the behavior of Lebesgue integrable functions?
- Borel vs Lebesgue measure - Cantor set
- Additivity of Outer Measure for Separated Bounded Sets (using definition of an outer measure only)
- Do uniformly grey sets of positive density exist?
- E measurable then there is $F=\bigcup_{i=1}^NQ_i$ such that $m^*(E\Delta F)<\varepsilon$.
- Independent random variables $X_1$, $X_2$, $X_3$, ... defined on $(\Omega, \mathcal{F}, \mathbb{P})$, each normal mean zero, variance $1$.
Related Questions in DESCRIPTIVE-SET-THEORY
- Why is the intersection of countably many homogeneously Suslin subsets of $\,^{\omega} \omega$ homogeneously Suslin?
- Outline of Generic Separable Banach Spaces don't have a Schauder Basis
- Vanishing Cantor-Bendixson derivative if and only if scattered
- Is a bijective projection function measure preserving?
- Do (the restrictions of) continuous maps (to the rationals) form a Borel set?
- $\mathbb{R}^3$ \ $\mathbb{Q}^3$ is union of disjoint lines. The lines are not in an axis diretion.
- $\mathbb{R}^3$ \ $\mathbb{Q}^3$ is a union of disjoint lines, The lines are not in an axis direction.
- $\Pi^1_1$ singletons and $\Delta^1_2$ wellorders on $\omega$ in $L$
- For a Borel action of a locally compact second countable group G on a standard Borel space S, are the orbits always Borel?
- Classification of Polish topologies on a countably infinite set
Related Questions in GEOMETRIC-MEASURE-THEORY
- Is a bijective projection function measure preserving?
- Borel regular measure on a subset of $\mathbb{R}^3$
- doubling property on manifold
- Approximation of Sets of Finite Perimeter
- Integral equality including function with compact support
- Find parametrization for a possible "ruled" surface in $\mathbb R^4$
- Singular points of one-to-one mapping on rectifiable set
- Hausdorff dimension of homeomorphic compact metric spaces
- What does it mean "Distance between $k$-planes induced by the identification plane-projection matrix"?
- Can a $N-1$ rectifiable set be partitioned into countably many connected pieces?
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Refuting the Anti-Cantor Cranks
- Find $E[XY|Y+Z=1 ]$
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- What are the Implications of having VΩ as a model for a theory?
- How do we know that the number $1$ is not equal to the number $-1$?
- Defining a Galois Field based on primitive element versus polynomial?
- Is computer science a branch of mathematics?
- Can't find the relationship between two columns of numbers. Please Help
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- A community project: prove (or disprove) that $\sum_{n\geq 1}\frac{\sin(2^n)}{n}$ is convergent
- Alternative way of expressing a quantied statement with "Some"
Popular # Hahtags
real-analysis
calculus
linear-algebra
probability
abstract-algebra
integration
sequences-and-series
combinatorics
general-topology
matrices
functional-analysis
complex-analysis
geometry
group-theory
algebra-precalculus
probability-theory
ordinary-differential-equations
limits
analysis
number-theory
measure-theory
elementary-number-theory
statistics
multivariable-calculus
functions
derivatives
discrete-mathematics
differential-geometry
inequality
trigonometry
Popular Questions
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- How to find mean and median from histogram
- Difference between "≈", "≃", and "≅"
- Easy way of memorizing values of sine, cosine, and tangent
- How to calculate the intersection of two planes?
- What does "∈" mean?
- If you roll a fair six sided die twice, what's the probability that you get the same number both times?
- Probability of getting exactly 2 heads in 3 coins tossed with order not important?
- Fourier transform for dummies
- Limit of $(1+ x/n)^n$ when $n$ tends to infinity
No. As shown in Lebesgue Measure of the Graph of a Function, there exists a function $f : \mathbb{R} \to \mathbb{R}$ whose graph $G = \{(x,f(x)) : x \in \mathbb{R}\}$ is a Lebesgue non-measurable subset of $\mathbb{R}^2$. But if we let $\pi(x,y) = (x,0)$ be projection onto the $x$ axis, then $\pi|_G : G \to \mathbb{R}$ is bijective.
If you can first show that your set $S$ is measurable, then it will have measure zero. This can be shown using Fubini's theorem.
Let $E$ be a proper subspace of $V$ and let $\pi : V \to E$ be orthogonal projection onto $E$. Suppose that $\pi|_S$ is injective. Let $F$ be the orthogonal complement of $F$. Then Lebesgue measure $m$ on $V$ is the product measure of the Lebesgue measures $m_{E}$, $m_{F}$ on $E,F$ respectively. Now by Fubini's theorem, we can write $$m(S) = \int 1_S\,dm = \int_E \int_F 1_S(x+y) \,m_F(dx) \,m_E(dy).$$ But by assumption, for each $y \in E$, there is at most one $x\in F$ such that $x+y \in S$. (If $x+y, x'+y \in S$, then $\pi(x+y)=\pi(x'+y)=y$. Since $\pi$ is injective on $S$, we have $x+y=x'+y$, hence $x=x'$.) Hence the function $x \mapsto 1_S(x+y)$ is zero almost everywhere, so $\int_F 1_S(x+y)\,m_F(dx) = 0$ for every $y \in E$. Thus the double integral on the right side is 0 and we conclude $m(S) =0 $.
If you don't want to require $\pi$ to be orthogonal projection, then the result is still true but you have to include a Jacobian factor in the double integral. The details are slightly tedious.