Skip to main content
added 473 characters in body
Source Link
guest1
  • 742
  • 4
  • 16

Let $(\Omega, \mathcal{A})$ be a measurable space and $X:(\Omega, \mathcal{A})\rightarrow (\mathcal{X}, \mathcal{F})$ a measurable function and $f:(\mathcal{X}, \mathcal{F})\rightarrow (\mathcal{Z}, \mathcal{G})$ another measurable function.

I have stumbled across the following statement in a textbook $\sigma(f(X))\subseteq \sigma(X)$ and $\sigma(f(X))=\sigma(X)$ if and only if $f$ is one-to-one.

Now, my problem is that I dont understand if the author uses one-to-one in meaning an injective or a bijective mapping. Usually one-to-one means injection but here I have the feeling that we require $f$ to be a bijection. Can someone help?

EDIT: To add to my confusion:

$\sigma(T(X)) = \sigma(X) \iff T$ is bijective here it is being said that the statement is true if $f$ is bijective

When do we have $\sigma(X)= \sigma (f(X))$? here it is being said that the statement is true even if $f$ is only injective

But another uses suggests that the statement actually fails even when $f$ is bijective.

So what is correct now?

Let $(\Omega, \mathcal{A})$ be a measurable space and $X:(\Omega, \mathcal{A})\rightarrow (\mathcal{X}, \mathcal{F})$ a measurable function and $f:(\mathcal{X}, \mathcal{F})\rightarrow (\mathcal{Z}, \mathcal{G})$ another measurable function.

I have stumbled across the following statement in a textbook $\sigma(f(X))\subseteq \sigma(X)$ and $\sigma(f(X))=\sigma(X)$ if and only if $f$ is one-to-one.

Now, my problem is that I dont understand if the author uses one-to-one in meaning an injective or a bijective mapping. Usually one-to-one means injection but here I have the feeling that we require $f$ to be a bijection. Can someone help?

Let $(\Omega, \mathcal{A})$ be a measurable space and $X:(\Omega, \mathcal{A})\rightarrow (\mathcal{X}, \mathcal{F})$ a measurable function and $f:(\mathcal{X}, \mathcal{F})\rightarrow (\mathcal{Z}, \mathcal{G})$ another measurable function.

I have stumbled across the following statement in a textbook $\sigma(f(X))\subseteq \sigma(X)$ and $\sigma(f(X))=\sigma(X)$ if and only if $f$ is one-to-one.

Now, my problem is that I dont understand if the author uses one-to-one in meaning an injective or a bijective mapping. Usually one-to-one means injection but here I have the feeling that we require $f$ to be a bijection. Can someone help?

EDIT: To add to my confusion:

$\sigma(T(X)) = \sigma(X) \iff T$ is bijective here it is being said that the statement is true if $f$ is bijective

When do we have $\sigma(X)= \sigma (f(X))$? here it is being said that the statement is true even if $f$ is only injective

But another uses suggests that the statement actually fails even when $f$ is bijective.

So what is correct now?

Source Link
guest1
  • 742
  • 4
  • 16

$\sigma(f(X))\subseteq \sigma(X)$ and $\sigma(f(X))=\sigma(X)$ if and only if $f$ is an injective or bijective map?

Let $(\Omega, \mathcal{A})$ be a measurable space and $X:(\Omega, \mathcal{A})\rightarrow (\mathcal{X}, \mathcal{F})$ a measurable function and $f:(\mathcal{X}, \mathcal{F})\rightarrow (\mathcal{Z}, \mathcal{G})$ another measurable function.

I have stumbled across the following statement in a textbook $\sigma(f(X))\subseteq \sigma(X)$ and $\sigma(f(X))=\sigma(X)$ if and only if $f$ is one-to-one.

Now, my problem is that I dont understand if the author uses one-to-one in meaning an injective or a bijective mapping. Usually one-to-one means injection but here I have the feeling that we require $f$ to be a bijection. Can someone help?