$mathcal{f}$(A $cap$ B) = $mathcal{f}$(A) $cap$ $mathcal{f}$(B) $iff$ $mathcal{f}$ is injective. Numerical...
$begingroup$
Need some help to check whether my understanding of a subject is right or not.
$1$. Example of injective function.
$mathcal{f}$: $mathbb{N}$ $longrightarrow$ $mathbb{N}$
$x$ $longmapsto$ $2x$
A = {$1,2,3,4$}, B = {$2,4,5,7$}, (A $cap$ B) = {$2,4$}
$mathcal{f}$(A) = {$2,4,6,8$}, $space$ $mathcal{f}$(B) = {$4,8,10,14$}
$mathcal{f}$(A $cap$ B) = $mathcal{f}$(A) $cap$ $mathcal{f}$(B) = {$4,8$} $Longrightarrow$ $mathcal{f}$ is injective
$2$. Example of a function that is not injective
$mathcal{f}$: $mathbb{R}$ $longrightarrow$ $mathbb{R}$
$x$ $longmapsto$ $x^2$
A = {$2,4,6,8$}, B = {$-4,-8,-12,-16$}, (A $cap$ B) = $lbrace$ $emptyset$ $rbrace$
$mathcal{f}$(A) = {$4,16,36,64$}, $space$ $mathcal{f}$(B) = {$16,64,144,256$}
$mathcal{f}$(A) $cap$ $mathcal{f}$(B) = {$16,64$} $neq$ $mathcal{f}$(A $cap$ B) = $lbrace$ $emptyset$ $rbrace$ $Longrightarrow$ $mathcal{f}$ is not injective
Are there any mistakes in these writings?
examples-counterexamples
$endgroup$
add a comment |
$begingroup$
Need some help to check whether my understanding of a subject is right or not.
$1$. Example of injective function.
$mathcal{f}$: $mathbb{N}$ $longrightarrow$ $mathbb{N}$
$x$ $longmapsto$ $2x$
A = {$1,2,3,4$}, B = {$2,4,5,7$}, (A $cap$ B) = {$2,4$}
$mathcal{f}$(A) = {$2,4,6,8$}, $space$ $mathcal{f}$(B) = {$4,8,10,14$}
$mathcal{f}$(A $cap$ B) = $mathcal{f}$(A) $cap$ $mathcal{f}$(B) = {$4,8$} $Longrightarrow$ $mathcal{f}$ is injective
$2$. Example of a function that is not injective
$mathcal{f}$: $mathbb{R}$ $longrightarrow$ $mathbb{R}$
$x$ $longmapsto$ $x^2$
A = {$2,4,6,8$}, B = {$-4,-8,-12,-16$}, (A $cap$ B) = $lbrace$ $emptyset$ $rbrace$
$mathcal{f}$(A) = {$4,16,36,64$}, $space$ $mathcal{f}$(B) = {$16,64,144,256$}
$mathcal{f}$(A) $cap$ $mathcal{f}$(B) = {$16,64$} $neq$ $mathcal{f}$(A $cap$ B) = $lbrace$ $emptyset$ $rbrace$ $Longrightarrow$ $mathcal{f}$ is not injective
Are there any mistakes in these writings?
examples-counterexamples
$endgroup$
add a comment |
$begingroup$
Need some help to check whether my understanding of a subject is right or not.
$1$. Example of injective function.
$mathcal{f}$: $mathbb{N}$ $longrightarrow$ $mathbb{N}$
$x$ $longmapsto$ $2x$
A = {$1,2,3,4$}, B = {$2,4,5,7$}, (A $cap$ B) = {$2,4$}
$mathcal{f}$(A) = {$2,4,6,8$}, $space$ $mathcal{f}$(B) = {$4,8,10,14$}
$mathcal{f}$(A $cap$ B) = $mathcal{f}$(A) $cap$ $mathcal{f}$(B) = {$4,8$} $Longrightarrow$ $mathcal{f}$ is injective
$2$. Example of a function that is not injective
$mathcal{f}$: $mathbb{R}$ $longrightarrow$ $mathbb{R}$
$x$ $longmapsto$ $x^2$
A = {$2,4,6,8$}, B = {$-4,-8,-12,-16$}, (A $cap$ B) = $lbrace$ $emptyset$ $rbrace$
$mathcal{f}$(A) = {$4,16,36,64$}, $space$ $mathcal{f}$(B) = {$16,64,144,256$}
$mathcal{f}$(A) $cap$ $mathcal{f}$(B) = {$16,64$} $neq$ $mathcal{f}$(A $cap$ B) = $lbrace$ $emptyset$ $rbrace$ $Longrightarrow$ $mathcal{f}$ is not injective
Are there any mistakes in these writings?
examples-counterexamples
$endgroup$
Need some help to check whether my understanding of a subject is right or not.
$1$. Example of injective function.
$mathcal{f}$: $mathbb{N}$ $longrightarrow$ $mathbb{N}$
$x$ $longmapsto$ $2x$
A = {$1,2,3,4$}, B = {$2,4,5,7$}, (A $cap$ B) = {$2,4$}
$mathcal{f}$(A) = {$2,4,6,8$}, $space$ $mathcal{f}$(B) = {$4,8,10,14$}
$mathcal{f}$(A $cap$ B) = $mathcal{f}$(A) $cap$ $mathcal{f}$(B) = {$4,8$} $Longrightarrow$ $mathcal{f}$ is injective
$2$. Example of a function that is not injective
$mathcal{f}$: $mathbb{R}$ $longrightarrow$ $mathbb{R}$
$x$ $longmapsto$ $x^2$
A = {$2,4,6,8$}, B = {$-4,-8,-12,-16$}, (A $cap$ B) = $lbrace$ $emptyset$ $rbrace$
$mathcal{f}$(A) = {$4,16,36,64$}, $space$ $mathcal{f}$(B) = {$16,64,144,256$}
$mathcal{f}$(A) $cap$ $mathcal{f}$(B) = {$16,64$} $neq$ $mathcal{f}$(A $cap$ B) = $lbrace$ $emptyset$ $rbrace$ $Longrightarrow$ $mathcal{f}$ is not injective
Are there any mistakes in these writings?
examples-counterexamples
examples-counterexamples
edited Dec 5 '18 at 19:38
Egor Epishin
asked Dec 5 '18 at 13:51
Egor EpishinEgor Epishin
54
54
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Yes, there is a mistake, and a big one: you cannot fix two sets $A$ and $B$ and claim that$$f(Acap B)=f(A)cap f(B)implies ftext{ injective.}$$That equality holds for those two specific set, but that fact, by itslef, is not enough to assure that $f$ is injective.
The rest looks correct.
$endgroup$
$begingroup$
however, if it holds for all subsets, or at least the singleton subsets, it should work out.
$endgroup$
– Enkidu
Dec 5 '18 at 14:00
$begingroup$
@Enkidu Indeed, but the OP only claimed that it holds for two specific sets.
$endgroup$
– José Carlos Santos
Dec 5 '18 at 14:01
$begingroup$
Thank you for the clarification. So, if the statement (from the title of the post) holds for all subsets of the domain of a function then we can say that this function is injective. While we only need at least two arbitrarily subsets of the domain for which the statement doesn't hold to state that the function is not injective. Right?
$endgroup$
– Egor Epishin
Dec 5 '18 at 14:54
$begingroup$
Completely right!
$endgroup$
– José Carlos Santos
Dec 5 '18 at 14:56
add a comment |
$begingroup$
Here's another mistake: If $A = {2,4,6,8}, B = {-4,-8,-12,-16}$ then $A cap B ne { emptyset }$.
$A cap B = emptyset$
$endgroup$
$begingroup$
Maybe I misunderstood you. You are saying that there is a mistake in the following line "If A={2,4,6,8}, B={−4,−8,−12,−16} then A∩B ≠ {∅}". However, in my post I write that A∩B = ∅.
$endgroup$
– Egor Epishin
Dec 5 '18 at 15:03
$begingroup$
No, in your post you wrote $A cap B = {emptyset}$. Be careful: ${emptyset} ne emptyset$
$endgroup$
– jjagmath
Dec 5 '18 at 15:07
$begingroup$
I see. Thank you!
$endgroup$
– Egor Epishin
Dec 5 '18 at 15:13
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3027087%2fmathcalfa-cap-b-mathcalfa-cap-mathcalfb-iff-ma%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Yes, there is a mistake, and a big one: you cannot fix two sets $A$ and $B$ and claim that$$f(Acap B)=f(A)cap f(B)implies ftext{ injective.}$$That equality holds for those two specific set, but that fact, by itslef, is not enough to assure that $f$ is injective.
The rest looks correct.
$endgroup$
$begingroup$
however, if it holds for all subsets, or at least the singleton subsets, it should work out.
$endgroup$
– Enkidu
Dec 5 '18 at 14:00
$begingroup$
@Enkidu Indeed, but the OP only claimed that it holds for two specific sets.
$endgroup$
– José Carlos Santos
Dec 5 '18 at 14:01
$begingroup$
Thank you for the clarification. So, if the statement (from the title of the post) holds for all subsets of the domain of a function then we can say that this function is injective. While we only need at least two arbitrarily subsets of the domain for which the statement doesn't hold to state that the function is not injective. Right?
$endgroup$
– Egor Epishin
Dec 5 '18 at 14:54
$begingroup$
Completely right!
$endgroup$
– José Carlos Santos
Dec 5 '18 at 14:56
add a comment |
$begingroup$
Yes, there is a mistake, and a big one: you cannot fix two sets $A$ and $B$ and claim that$$f(Acap B)=f(A)cap f(B)implies ftext{ injective.}$$That equality holds for those two specific set, but that fact, by itslef, is not enough to assure that $f$ is injective.
The rest looks correct.
$endgroup$
$begingroup$
however, if it holds for all subsets, or at least the singleton subsets, it should work out.
$endgroup$
– Enkidu
Dec 5 '18 at 14:00
$begingroup$
@Enkidu Indeed, but the OP only claimed that it holds for two specific sets.
$endgroup$
– José Carlos Santos
Dec 5 '18 at 14:01
$begingroup$
Thank you for the clarification. So, if the statement (from the title of the post) holds for all subsets of the domain of a function then we can say that this function is injective. While we only need at least two arbitrarily subsets of the domain for which the statement doesn't hold to state that the function is not injective. Right?
$endgroup$
– Egor Epishin
Dec 5 '18 at 14:54
$begingroup$
Completely right!
$endgroup$
– José Carlos Santos
Dec 5 '18 at 14:56
add a comment |
$begingroup$
Yes, there is a mistake, and a big one: you cannot fix two sets $A$ and $B$ and claim that$$f(Acap B)=f(A)cap f(B)implies ftext{ injective.}$$That equality holds for those two specific set, but that fact, by itslef, is not enough to assure that $f$ is injective.
The rest looks correct.
$endgroup$
Yes, there is a mistake, and a big one: you cannot fix two sets $A$ and $B$ and claim that$$f(Acap B)=f(A)cap f(B)implies ftext{ injective.}$$That equality holds for those two specific set, but that fact, by itslef, is not enough to assure that $f$ is injective.
The rest looks correct.
answered Dec 5 '18 at 13:57
José Carlos SantosJosé Carlos Santos
156k22125227
156k22125227
$begingroup$
however, if it holds for all subsets, or at least the singleton subsets, it should work out.
$endgroup$
– Enkidu
Dec 5 '18 at 14:00
$begingroup$
@Enkidu Indeed, but the OP only claimed that it holds for two specific sets.
$endgroup$
– José Carlos Santos
Dec 5 '18 at 14:01
$begingroup$
Thank you for the clarification. So, if the statement (from the title of the post) holds for all subsets of the domain of a function then we can say that this function is injective. While we only need at least two arbitrarily subsets of the domain for which the statement doesn't hold to state that the function is not injective. Right?
$endgroup$
– Egor Epishin
Dec 5 '18 at 14:54
$begingroup$
Completely right!
$endgroup$
– José Carlos Santos
Dec 5 '18 at 14:56
add a comment |
$begingroup$
however, if it holds for all subsets, or at least the singleton subsets, it should work out.
$endgroup$
– Enkidu
Dec 5 '18 at 14:00
$begingroup$
@Enkidu Indeed, but the OP only claimed that it holds for two specific sets.
$endgroup$
– José Carlos Santos
Dec 5 '18 at 14:01
$begingroup$
Thank you for the clarification. So, if the statement (from the title of the post) holds for all subsets of the domain of a function then we can say that this function is injective. While we only need at least two arbitrarily subsets of the domain for which the statement doesn't hold to state that the function is not injective. Right?
$endgroup$
– Egor Epishin
Dec 5 '18 at 14:54
$begingroup$
Completely right!
$endgroup$
– José Carlos Santos
Dec 5 '18 at 14:56
$begingroup$
however, if it holds for all subsets, or at least the singleton subsets, it should work out.
$endgroup$
– Enkidu
Dec 5 '18 at 14:00
$begingroup$
however, if it holds for all subsets, or at least the singleton subsets, it should work out.
$endgroup$
– Enkidu
Dec 5 '18 at 14:00
$begingroup$
@Enkidu Indeed, but the OP only claimed that it holds for two specific sets.
$endgroup$
– José Carlos Santos
Dec 5 '18 at 14:01
$begingroup$
@Enkidu Indeed, but the OP only claimed that it holds for two specific sets.
$endgroup$
– José Carlos Santos
Dec 5 '18 at 14:01
$begingroup$
Thank you for the clarification. So, if the statement (from the title of the post) holds for all subsets of the domain of a function then we can say that this function is injective. While we only need at least two arbitrarily subsets of the domain for which the statement doesn't hold to state that the function is not injective. Right?
$endgroup$
– Egor Epishin
Dec 5 '18 at 14:54
$begingroup$
Thank you for the clarification. So, if the statement (from the title of the post) holds for all subsets of the domain of a function then we can say that this function is injective. While we only need at least two arbitrarily subsets of the domain for which the statement doesn't hold to state that the function is not injective. Right?
$endgroup$
– Egor Epishin
Dec 5 '18 at 14:54
$begingroup$
Completely right!
$endgroup$
– José Carlos Santos
Dec 5 '18 at 14:56
$begingroup$
Completely right!
$endgroup$
– José Carlos Santos
Dec 5 '18 at 14:56
add a comment |
$begingroup$
Here's another mistake: If $A = {2,4,6,8}, B = {-4,-8,-12,-16}$ then $A cap B ne { emptyset }$.
$A cap B = emptyset$
$endgroup$
$begingroup$
Maybe I misunderstood you. You are saying that there is a mistake in the following line "If A={2,4,6,8}, B={−4,−8,−12,−16} then A∩B ≠ {∅}". However, in my post I write that A∩B = ∅.
$endgroup$
– Egor Epishin
Dec 5 '18 at 15:03
$begingroup$
No, in your post you wrote $A cap B = {emptyset}$. Be careful: ${emptyset} ne emptyset$
$endgroup$
– jjagmath
Dec 5 '18 at 15:07
$begingroup$
I see. Thank you!
$endgroup$
– Egor Epishin
Dec 5 '18 at 15:13
add a comment |
$begingroup$
Here's another mistake: If $A = {2,4,6,8}, B = {-4,-8,-12,-16}$ then $A cap B ne { emptyset }$.
$A cap B = emptyset$
$endgroup$
$begingroup$
Maybe I misunderstood you. You are saying that there is a mistake in the following line "If A={2,4,6,8}, B={−4,−8,−12,−16} then A∩B ≠ {∅}". However, in my post I write that A∩B = ∅.
$endgroup$
– Egor Epishin
Dec 5 '18 at 15:03
$begingroup$
No, in your post you wrote $A cap B = {emptyset}$. Be careful: ${emptyset} ne emptyset$
$endgroup$
– jjagmath
Dec 5 '18 at 15:07
$begingroup$
I see. Thank you!
$endgroup$
– Egor Epishin
Dec 5 '18 at 15:13
add a comment |
$begingroup$
Here's another mistake: If $A = {2,4,6,8}, B = {-4,-8,-12,-16}$ then $A cap B ne { emptyset }$.
$A cap B = emptyset$
$endgroup$
Here's another mistake: If $A = {2,4,6,8}, B = {-4,-8,-12,-16}$ then $A cap B ne { emptyset }$.
$A cap B = emptyset$
answered Dec 5 '18 at 14:41
jjagmathjjagmath
2047
2047
$begingroup$
Maybe I misunderstood you. You are saying that there is a mistake in the following line "If A={2,4,6,8}, B={−4,−8,−12,−16} then A∩B ≠ {∅}". However, in my post I write that A∩B = ∅.
$endgroup$
– Egor Epishin
Dec 5 '18 at 15:03
$begingroup$
No, in your post you wrote $A cap B = {emptyset}$. Be careful: ${emptyset} ne emptyset$
$endgroup$
– jjagmath
Dec 5 '18 at 15:07
$begingroup$
I see. Thank you!
$endgroup$
– Egor Epishin
Dec 5 '18 at 15:13
add a comment |
$begingroup$
Maybe I misunderstood you. You are saying that there is a mistake in the following line "If A={2,4,6,8}, B={−4,−8,−12,−16} then A∩B ≠ {∅}". However, in my post I write that A∩B = ∅.
$endgroup$
– Egor Epishin
Dec 5 '18 at 15:03
$begingroup$
No, in your post you wrote $A cap B = {emptyset}$. Be careful: ${emptyset} ne emptyset$
$endgroup$
– jjagmath
Dec 5 '18 at 15:07
$begingroup$
I see. Thank you!
$endgroup$
– Egor Epishin
Dec 5 '18 at 15:13
$begingroup$
Maybe I misunderstood you. You are saying that there is a mistake in the following line "If A={2,4,6,8}, B={−4,−8,−12,−16} then A∩B ≠ {∅}". However, in my post I write that A∩B = ∅.
$endgroup$
– Egor Epishin
Dec 5 '18 at 15:03
$begingroup$
Maybe I misunderstood you. You are saying that there is a mistake in the following line "If A={2,4,6,8}, B={−4,−8,−12,−16} then A∩B ≠ {∅}". However, in my post I write that A∩B = ∅.
$endgroup$
– Egor Epishin
Dec 5 '18 at 15:03
$begingroup$
No, in your post you wrote $A cap B = {emptyset}$. Be careful: ${emptyset} ne emptyset$
$endgroup$
– jjagmath
Dec 5 '18 at 15:07
$begingroup$
No, in your post you wrote $A cap B = {emptyset}$. Be careful: ${emptyset} ne emptyset$
$endgroup$
– jjagmath
Dec 5 '18 at 15:07
$begingroup$
I see. Thank you!
$endgroup$
– Egor Epishin
Dec 5 '18 at 15:13
$begingroup$
I see. Thank you!
$endgroup$
– Egor Epishin
Dec 5 '18 at 15:13
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3027087%2fmathcalfa-cap-b-mathcalfa-cap-mathcalfb-iff-ma%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown