$C_p$ space topology
$begingroup$
If $X, Y$ are topological spaces then consider the set $C(X, Y) $ of continuous functions. Let $[x_1,...,x_n;O_1,...,O_n] ={fin C(X, Y) | f(x_i) in O_iin tau (Y), i=1,...,n}$. Then how to show that the collection $${Usubset C(X, Y) | forall fin U : exists nin mathbb{N}exists x_1,dots,x_n in X, O_1,ldots, O_n in tau (Y):\
fin [x_1,...,x_n;O_1,...,O_n] subset U }$$ is a topology on $C(X, Y)$? I can see that $emptyset $ is in there(vacuously) and $C(X, Y) $ is also in there since for any function $fin C(X, Y) $ we can take any $x_1,...,x_n$ and $O_i=Y, i=1,..., n$. But I'm stuck with the other two.
general-topology
edited Jan 20 at 7:38
Henno Brandsma
110k347116
asked Jan 19 at 19:43
Arpan DasArpan Das
937
$endgroup$
add a comment |
$begingroup$
If $X, Y$ are topological spaces then consider the set $C(X, Y) $ of continuous functions. Let $[x_1,...,x_n;O_1,...,O_n] ={fin C(X, Y) | f(x_i) in O_iin tau (Y), i=1,...,n}$. Then how to show that the collection $${Usubset C(X, Y) | forall fin U : exists nin mathbb{N}exists x_1,dots,x_n in X, O_1,ldots, O_n in tau (Y):\
fin [x_1,...,x_n;O_1,...,O_n] subset U }$$ is a topology on $C(X, Y)$? I can see that $emptyset $ is in there(vacuously) and $C(X, Y) $ is also in there since for any function $fin C(X, Y) $ we can take any $x_1,...,x_n$ and $O_i=Y, i=1,..., n$. But I'm stuck with the other two.
general-topology
edited Jan 20 at 7:38
Henno Brandsma
110k347116
asked Jan 19 at 19:43
Arpan DasArpan Das
937
$endgroup$
1
$begingroup$
This is just the product topology that $C(X,Y)$ inherits as a subspace of $Y^X$.
$endgroup$
– Henno Brandsma
Jan 19 at 21:45
$begingroup$
@ArpanDas Shouldn't the union be easy too? If ${U_i}$ is a collection of open sets in $C(X,Y)$, then any $fin bigcup_i U_i$ belongs to some $U_{i_0}$ and we are done.
$endgroup$
– Dog_69
Jan 19 at 21:50
$begingroup$
And for the intersection, I think that $[x_1,dots,x_n,O_1,dots,O_n]cap[y_1,dots,y_m,P_1,dots,P_m] = [x_1,dots,x_n,y_1,dots,y_m,O_1,dots,O_n,P_1,dots,P_m]$, so for $finbigcap_{i=1}^n U_i$ you can consider the intersection all sets $[x_1,dots,x_n,O_1,dots O_n]$ associated with each $U_i$.
$endgroup$
– Dog_69
Jan 19 at 22:01
$begingroup$
I thought the $x_i$ s and $O_i$s depend on U. So for union I got confused. Intersection works although.
$endgroup$
– Arpan Das
Jan 20 at 4:29
add a comment |
$begingroup$
If $X, Y$ are topological spaces then consider the set $C(X, Y) $ of continuous functions. Let $[x_1,...,x_n;O_1,...,O_n] ={fin C(X, Y) | f(x_i) in O_iin tau (Y), i=1,...,n}$. Then how to show that the collection $${Usubset C(X, Y) | forall fin U : exists nin mathbb{N}exists x_1,dots,x_n in X, O_1,ldots, O_n in tau (Y):\
fin [x_1,...,x_n;O_1,...,O_n] subset U }$$ is a topology on $C(X, Y)$? I can see that $emptyset $ is in there(vacuously) and $C(X, Y) $ is also in there since for any function $fin C(X, Y) $ we can take any $x_1,...,x_n$ and $O_i=Y, i=1,..., n$. But I'm stuck with the other two.
general-topology
edited Jan 20 at 7:38
Henno Brandsma
110k347116
asked Jan 19 at 19:43
Arpan DasArpan Das
937
$endgroup$
If $X, Y$ are topological spaces then consider the set $C(X, Y) $ of continuous functions. Let $[x_1,...,x_n;O_1,...,O_n] ={fin C(X, Y) | f(x_i) in O_iin tau (Y), i=1,...,n}$. Then how to show that the collection $${Usubset C(X, Y) | forall fin U : exists nin mathbb{N}exists x_1,dots,x_n in X, O_1,ldots, O_n in tau (Y):\
fin [x_1,...,x_n;O_1,...,O_n] subset U }$$ is a topology on $C(X, Y)$? I can see that $emptyset $ is in there(vacuously) and $C(X, Y) $ is also in there since for any function $fin C(X, Y) $ we can take any $x_1,...,x_n$ and $O_i=Y, i=1,..., n$. But I'm stuck with the other two.
general-topology
general-topology
edited Jan 20 at 7:38
Henno Brandsma
110k347116
asked Jan 19 at 19:43
Arpan DasArpan Das
937
edited Jan 20 at 7:38
Henno Brandsma
110k347116
asked Jan 19 at 19:43
Arpan DasArpan Das
937
edited Jan 20 at 7:38
Henno Brandsma
110k347116
edited Jan 20 at 7:38
Henno Brandsma
110k347116
edited Jan 20 at 7:38
Henno Brandsma
110k347116
110k347116
asked Jan 19 at 19:43
Arpan DasArpan Das
937
asked Jan 19 at 19:43
Arpan DasArpan Das
937
asked Jan 19 at 19:43
Arpan DasArpan Das
937
937
1
$begingroup$
This is just the product topology that $C(X,Y)$ inherits as a subspace of $Y^X$.
$endgroup$
– Henno Brandsma
Jan 19 at 21:45
$begingroup$
@ArpanDas Shouldn't the union be easy too? If ${U_i}$ is a collection of open sets in $C(X,Y)$, then any $fin bigcup_i U_i$ belongs to some $U_{i_0}$ and we are done.
$endgroup$
– Dog_69
Jan 19 at 21:50
$begingroup$
And for the intersection, I think that $[x_1,dots,x_n,O_1,dots,O_n]cap[y_1,dots,y_m,P_1,dots,P_m] = [x_1,dots,x_n,y_1,dots,y_m,O_1,dots,O_n,P_1,dots,P_m]$, so for $finbigcap_{i=1}^n U_i$ you can consider the intersection all sets $[x_1,dots,x_n,O_1,dots O_n]$ associated with each $U_i$.
$endgroup$
– Dog_69
Jan 19 at 22:01
$begingroup$
I thought the $x_i$ s and $O_i$s depend on U. So for union I got confused. Intersection works although.
$endgroup$
– Arpan Das
Jan 20 at 4:29
add a comment |
1
$begingroup$
This is just the product topology that $C(X,Y)$ inherits as a subspace of $Y^X$.
$endgroup$
– Henno Brandsma
Jan 19 at 21:45
$begingroup$
@ArpanDas Shouldn't the union be easy too? If ${U_i}$ is a collection of open sets in $C(X,Y)$, then any $fin bigcup_i U_i$ belongs to some $U_{i_0}$ and we are done.
$endgroup$
– Dog_69
Jan 19 at 21:50
$begingroup$
And for the intersection, I think that $[x_1,dots,x_n,O_1,dots,O_n]cap[y_1,dots,y_m,P_1,dots,P_m] = [x_1,dots,x_n,y_1,dots,y_m,O_1,dots,O_n,P_1,dots,P_m]$, so for $finbigcap_{i=1}^n U_i$ you can consider the intersection all sets $[x_1,dots,x_n,O_1,dots O_n]$ associated with each $U_i$.
$endgroup$
– Dog_69
Jan 19 at 22:01
$begingroup$
I thought the $x_i$ s and $O_i$s depend on U. So for union I got confused. Intersection works although.
$endgroup$
– Arpan Das
Jan 20 at 4:29
1
1
$begingroup$
This is just the product topology that $C(X,Y)$ inherits as a subspace of $Y^X$.
$endgroup$
– Henno Brandsma
Jan 19 at 21:45
$begingroup$
This is just the product topology that $C(X,Y)$ inherits as a subspace of $Y^X$.
$endgroup$
– Henno Brandsma
Jan 19 at 21:45
$begingroup$
@ArpanDas Shouldn't the union be easy too? If ${U_i}$ is a collection of open sets in $C(X,Y)$, then any $fin bigcup_i U_i$ belongs to some $U_{i_0}$ and we are done.
$endgroup$
– Dog_69
Jan 19 at 21:50
$begingroup$
@ArpanDas Shouldn't the union be easy too? If ${U_i}$ is a collection of open sets in $C(X,Y)$, then any $fin bigcup_i U_i$ belongs to some $U_{i_0}$ and we are done.
$endgroup$
– Dog_69
Jan 19 at 21:50
$begingroup$
And for the intersection, I think that $[x_1,dots,x_n,O_1,dots,O_n]cap[y_1,dots,y_m,P_1,dots,P_m] = [x_1,dots,x_n,y_1,dots,y_m,O_1,dots,O_n,P_1,dots,P_m]$, so for $finbigcap_{i=1}^n U_i$ you can consider the intersection all sets $[x_1,dots,x_n,O_1,dots O_n]$ associated with each $U_i$.
$endgroup$
– Dog_69
Jan 19 at 22:01
$begingroup$
And for the intersection, I think that $[x_1,dots,x_n,O_1,dots,O_n]cap[y_1,dots,y_m,P_1,dots,P_m] = [x_1,dots,x_n,y_1,dots,y_m,O_1,dots,O_n,P_1,dots,P_m]$, so for $finbigcap_{i=1}^n U_i$ you can consider the intersection all sets $[x_1,dots,x_n,O_1,dots O_n]$ associated with each $U_i$.
$endgroup$
– Dog_69
Jan 19 at 22:01
$begingroup$
I thought the $x_i$ s and $O_i$s depend on U. So for union I got confused. Intersection works although.
$endgroup$
– Arpan Das
Jan 20 at 4:29
$begingroup$
I thought the $x_i$ s and $O_i$s depend on U. So for union I got confused. Intersection works although.
$endgroup$
– Arpan Das
Jan 20 at 4:29
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
The union is trivial: if $U_i, i in I$ are all open and $f in U=bigcup_i U_i$, then for some $j in I$, $f in U_j$. By definition we then have $x_1,ldots x_n$ in $X$ and $O_1,ldots,O_n$ open in $Y$ such that $f in [x_1,ldots,x_n; O_1, O_2,ldots O_n] subseteq U_i subseteq U$.
For finite intersections we only need to check the intersection of two open sets $U_1$ and $U_2$ (finite then follows by induction, a standard argument), so let $f in U_1 cap U_2$. Then $f in U_1$ gives us $x_1,ldots x_n$ in $X$ and $O_1,ldots,O_n$ open in $Y$ such that $f in [x_1,ldots,x_n; O_1, O_2,ldots O_n] subseteq U_1$ and $f in U_2$ gives us $x'_1,ldots x'_m$ in $X$ and $O'_1,ldots,O'_m$ open in $Y$ such that $f in [x'_1,ldots,x'_m; O'_1, O'_2,ldots O'_m] subseteq U_2$. But then
$$f in [x_1,ldots,x_n, x'_1,ldots, x'_m; O_1,ldots,O_n, O'_1,ldots,O'_m] subseteq \
[x_1,ldots,x_n; O_1, O_2,ldots O_n] cap [x'_1,ldots,x'_m; O'_1, O'_2,ldots O'_m] subseteq U_1 cap U_2$$
as required.
You can also note that basic open neighbourhood of $f$ (the $[x_1,ldots,x_n; O_1, ldots, O_n]$) is of the form $B cap C(X,Y)$ where $B$ is a basic open subset of $Y^X$ in the product topology, given by a finite subset ${x_1, ldots,x_n}$ of "coordinates" from $X$ and finitely many $O_1, ldots, O_n$ in those coordinates. So e.g. $f_n to f$ in this topology iff $f_n(x) to f(x)$ for all $x in X$, as this holds for the product topology (and likewise for nets), hence the name "pointwise topology" for this space $C_p(X,Y)$. The "$p$" could also be seen as standing for "product", as it's just the product topology on the set, essentially.
answered Jan 20 at 7:57
Henno BrandsmaHenno Brandsma
110k347116
$endgroup$
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%2f3079728%2fc-p-space-topology%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The union is trivial: if $U_i, i in I$ are all open and $f in U=bigcup_i U_i$, then for some $j in I$, $f in U_j$. By definition we then have $x_1,ldots x_n$ in $X$ and $O_1,ldots,O_n$ open in $Y$ such that $f in [x_1,ldots,x_n; O_1, O_2,ldots O_n] subseteq U_i subseteq U$.
For finite intersections we only need to check the intersection of two open sets $U_1$ and $U_2$ (finite then follows by induction, a standard argument), so let $f in U_1 cap U_2$. Then $f in U_1$ gives us $x_1,ldots x_n$ in $X$ and $O_1,ldots,O_n$ open in $Y$ such that $f in [x_1,ldots,x_n; O_1, O_2,ldots O_n] subseteq U_1$ and $f in U_2$ gives us $x'_1,ldots x'_m$ in $X$ and $O'_1,ldots,O'_m$ open in $Y$ such that $f in [x'_1,ldots,x'_m; O'_1, O'_2,ldots O'_m] subseteq U_2$. But then
$$f in [x_1,ldots,x_n, x'_1,ldots, x'_m; O_1,ldots,O_n, O'_1,ldots,O'_m] subseteq \
[x_1,ldots,x_n; O_1, O_2,ldots O_n] cap [x'_1,ldots,x'_m; O'_1, O'_2,ldots O'_m] subseteq U_1 cap U_2$$
as required.
You can also note that basic open neighbourhood of $f$ (the $[x_1,ldots,x_n; O_1, ldots, O_n]$) is of the form $B cap C(X,Y)$ where $B$ is a basic open subset of $Y^X$ in the product topology, given by a finite subset ${x_1, ldots,x_n}$ of "coordinates" from $X$ and finitely many $O_1, ldots, O_n$ in those coordinates. So e.g. $f_n to f$ in this topology iff $f_n(x) to f(x)$ for all $x in X$, as this holds for the product topology (and likewise for nets), hence the name "pointwise topology" for this space $C_p(X,Y)$. The "$p$" could also be seen as standing for "product", as it's just the product topology on the set, essentially.
answered Jan 20 at 7:57
Henno BrandsmaHenno Brandsma
110k347116
$endgroup$
add a comment |
$begingroup$
The union is trivial: if $U_i, i in I$ are all open and $f in U=bigcup_i U_i$, then for some $j in I$, $f in U_j$. By definition we then have $x_1,ldots x_n$ in $X$ and $O_1,ldots,O_n$ open in $Y$ such that $f in [x_1,ldots,x_n; O_1, O_2,ldots O_n] subseteq U_i subseteq U$.
For finite intersections we only need to check the intersection of two open sets $U_1$ and $U_2$ (finite then follows by induction, a standard argument), so let $f in U_1 cap U_2$. Then $f in U_1$ gives us $x_1,ldots x_n$ in $X$ and $O_1,ldots,O_n$ open in $Y$ such that $f in [x_1,ldots,x_n; O_1, O_2,ldots O_n] subseteq U_1$ and $f in U_2$ gives us $x'_1,ldots x'_m$ in $X$ and $O'_1,ldots,O'_m$ open in $Y$ such that $f in [x'_1,ldots,x'_m; O'_1, O'_2,ldots O'_m] subseteq U_2$. But then
$$f in [x_1,ldots,x_n, x'_1,ldots, x'_m; O_1,ldots,O_n, O'_1,ldots,O'_m] subseteq \
[x_1,ldots,x_n; O_1, O_2,ldots O_n] cap [x'_1,ldots,x'_m; O'_1, O'_2,ldots O'_m] subseteq U_1 cap U_2$$
as required.
You can also note that basic open neighbourhood of $f$ (the $[x_1,ldots,x_n; O_1, ldots, O_n]$) is of the form $B cap C(X,Y)$ where $B$ is a basic open subset of $Y^X$ in the product topology, given by a finite subset ${x_1, ldots,x_n}$ of "coordinates" from $X$ and finitely many $O_1, ldots, O_n$ in those coordinates. So e.g. $f_n to f$ in this topology iff $f_n(x) to f(x)$ for all $x in X$, as this holds for the product topology (and likewise for nets), hence the name "pointwise topology" for this space $C_p(X,Y)$. The "$p$" could also be seen as standing for "product", as it's just the product topology on the set, essentially.
answered Jan 20 at 7:57
Henno BrandsmaHenno Brandsma
110k347116
$endgroup$
add a comment |
$begingroup$
The union is trivial: if $U_i, i in I$ are all open and $f in U=bigcup_i U_i$, then for some $j in I$, $f in U_j$. By definition we then have $x_1,ldots x_n$ in $X$ and $O_1,ldots,O_n$ open in $Y$ such that $f in [x_1,ldots,x_n; O_1, O_2,ldots O_n] subseteq U_i subseteq U$.
For finite intersections we only need to check the intersection of two open sets $U_1$ and $U_2$ (finite then follows by induction, a standard argument), so let $f in U_1 cap U_2$. Then $f in U_1$ gives us $x_1,ldots x_n$ in $X$ and $O_1,ldots,O_n$ open in $Y$ such that $f in [x_1,ldots,x_n; O_1, O_2,ldots O_n] subseteq U_1$ and $f in U_2$ gives us $x'_1,ldots x'_m$ in $X$ and $O'_1,ldots,O'_m$ open in $Y$ such that $f in [x'_1,ldots,x'_m; O'_1, O'_2,ldots O'_m] subseteq U_2$. But then
$$f in [x_1,ldots,x_n, x'_1,ldots, x'_m; O_1,ldots,O_n, O'_1,ldots,O'_m] subseteq \
[x_1,ldots,x_n; O_1, O_2,ldots O_n] cap [x'_1,ldots,x'_m; O'_1, O'_2,ldots O'_m] subseteq U_1 cap U_2$$
as required.
You can also note that basic open neighbourhood of $f$ (the $[x_1,ldots,x_n; O_1, ldots, O_n]$) is of the form $B cap C(X,Y)$ where $B$ is a basic open subset of $Y^X$ in the product topology, given by a finite subset ${x_1, ldots,x_n}$ of "coordinates" from $X$ and finitely many $O_1, ldots, O_n$ in those coordinates. So e.g. $f_n to f$ in this topology iff $f_n(x) to f(x)$ for all $x in X$, as this holds for the product topology (and likewise for nets), hence the name "pointwise topology" for this space $C_p(X,Y)$. The "$p$" could also be seen as standing for "product", as it's just the product topology on the set, essentially.
answered Jan 20 at 7:57
Henno BrandsmaHenno Brandsma
110k347116
$endgroup$
The union is trivial: if $U_i, i in I$ are all open and $f in U=bigcup_i U_i$, then for some $j in I$, $f in U_j$. By definition we then have $x_1,ldots x_n$ in $X$ and $O_1,ldots,O_n$ open in $Y$ such that $f in [x_1,ldots,x_n; O_1, O_2,ldots O_n] subseteq U_i subseteq U$.
For finite intersections we only need to check the intersection of two open sets $U_1$ and $U_2$ (finite then follows by induction, a standard argument), so let $f in U_1 cap U_2$. Then $f in U_1$ gives us $x_1,ldots x_n$ in $X$ and $O_1,ldots,O_n$ open in $Y$ such that $f in [x_1,ldots,x_n; O_1, O_2,ldots O_n] subseteq U_1$ and $f in U_2$ gives us $x'_1,ldots x'_m$ in $X$ and $O'_1,ldots,O'_m$ open in $Y$ such that $f in [x'_1,ldots,x'_m; O'_1, O'_2,ldots O'_m] subseteq U_2$. But then
$$f in [x_1,ldots,x_n, x'_1,ldots, x'_m; O_1,ldots,O_n, O'_1,ldots,O'_m] subseteq \
[x_1,ldots,x_n; O_1, O_2,ldots O_n] cap [x'_1,ldots,x'_m; O'_1, O'_2,ldots O'_m] subseteq U_1 cap U_2$$
as required.
You can also note that basic open neighbourhood of $f$ (the $[x_1,ldots,x_n; O_1, ldots, O_n]$) is of the form $B cap C(X,Y)$ where $B$ is a basic open subset of $Y^X$ in the product topology, given by a finite subset ${x_1, ldots,x_n}$ of "coordinates" from $X$ and finitely many $O_1, ldots, O_n$ in those coordinates. So e.g. $f_n to f$ in this topology iff $f_n(x) to f(x)$ for all $x in X$, as this holds for the product topology (and likewise for nets), hence the name "pointwise topology" for this space $C_p(X,Y)$. The "$p$" could also be seen as standing for "product", as it's just the product topology on the set, essentially.
answered Jan 20 at 7:57
Henno BrandsmaHenno Brandsma
110k347116
answered Jan 20 at 7:57
Henno BrandsmaHenno Brandsma
110k347116
answered Jan 20 at 7:57
Henno BrandsmaHenno Brandsma
110k347116
answered Jan 20 at 7:57
Henno BrandsmaHenno Brandsma
110k347116
110k347116
add a comment |
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%2f3079728%2fc-p-space-topology%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
1
$begingroup$
This is just the product topology that $C(X,Y)$ inherits as a subspace of $Y^X$.
$endgroup$
– Henno Brandsma
Jan 19 at 21:45
$begingroup$
@ArpanDas Shouldn't the union be easy too? If ${U_i}$ is a collection of open sets in $C(X,Y)$, then any $fin bigcup_i U_i$ belongs to some $U_{i_0}$ and we are done.
$endgroup$
– Dog_69
Jan 19 at 21:50
$begingroup$
And for the intersection, I think that $[x_1,dots,x_n,O_1,dots,O_n]cap[y_1,dots,y_m,P_1,dots,P_m] = [x_1,dots,x_n,y_1,dots,y_m,O_1,dots,O_n,P_1,dots,P_m]$, so for $finbigcap_{i=1}^n U_i$ you can consider the intersection all sets $[x_1,dots,x_n,O_1,dots O_n]$ associated with each $U_i$.
$endgroup$
– Dog_69
Jan 19 at 22:01
$begingroup$
I thought the $x_i$ s and $O_i$s depend on U. So for union I got confused. Intersection works although.
$endgroup$
– Arpan Das
Jan 20 at 4:29