Proving that the subbasis generates a topology.











up vote
2
down vote

favorite












I want to prove that the subbais of a topology really generates a topology. I think I have been able to prove most of it, but I am not able to show that the empty set is in the topology. Can you please tell me how to show that the empty set is in the topology, and also point out any errors in the other 3 parts if you see it?



The definition of a subbasis in my book is:




A subbasis for $mathcal{S}$ for a topology X is a collection of
subsets of X whose union equals X. The topology generated by the
subbasis is defined to be the collection of all unions of finite
intersections of elements of $mathcal{S}$.




I need to prove that it generates a topology. That is, I need to prove that what is generated has this properties:




  1. X is in what is generated.


2. $emptyset$ is in what is generated.




  1. What is generated is closed under unions.


  2. What is generated is closed under finite intersections.



My attempt:




  1. Since the union of the subbasis equals X this is clear.


2. I do not see how I get the empty set, how do I know that the finite intersections of some sets will be the empty set?



3 and 4:



I have given the set $mathcal{S}$, I assume it has indexset $I^{mathcal{S}}$.



I call the set of all finite intersections of $mathcal{S}$ for $mathcal{B}$. Each element in $mathcal{B}$ is $B_k$, where k is in the index-set $I^{mathcal{B}}$. Each $B_k=cap_{i in I^{B_k}}S_i$, where $S_i in mathcal{S}$, $I^{B_k} subset I^{mathcal{S}}$, $I^{B_k}$ is a finite set.



I call the topology generated(I don't yet know if it is a topology), $mathcal{T}$, each element is denoted $T_l$, $l in I^{mathcal{T}}$. We have by construction that $T_l=cup_{k in I^{T_l}}B_k$, where $I^{T_l}subset I^{mathcal{B}}$. $I^{T_l}$ need not be finite.



Now to prove 3:



Assume that I have a union of elements in $mathcal{T}$, let $V=cup_{lin I^V}T_l$, $I^Vsubset I^{mathcal{T}}$. I need to show that V is a union of finite intersections of elements in $mathcal{S}$.



$V=cup_{lin I^V}T_l$



$=cup_{l in I^V}[cup_{k in I^{T_l}}B_k]$



$=cup_{l in I^V}[cup_{k in I^{T_l}}{{cap_{i in I^{B_k}} S_i}}]$



$cup_{(l,k):l in I^{V}, k in I^{T_l}}[cap_{i in I^{B_k}}S_i]$.



Hence the element is a union of finite intersections of elements in $mathcal{S}$.



4.



For 4 I will prove it for two elements, and then it will follow by induction.



I have $T_1$ and $T_2$:



$T_1cap T_2=[cup_{k_1 in I^{T_1}}B_{k_1}]cap[cup_{k_2 in I^{T_2}}B_{k_2}]$



$=cup_{k_1 in I^{T_1}}[B_{k_1}cap {cup_{k_2 in I^{T_2}}B_{k_2}}]$



$=cup_{k_1 in I^{T_1}}[cup_{k_2 in I^{T_2}}{B_{k_1}cap B_{k_2}}]$



$=cup_{(k_1,k_2) in I^{T_1}times I^{T_2}}[B_{k_1}cap B_{k_2}]$. And obviously $B_{k_1}cap B_{k_2}$ is a finite intersections of elements in $mathcal{S}$ since each B is.



Is this proof correct, and how do I prove point 2?










share|cite|improve this question


















  • 6




    The empty set comes in as an "empty union", not as intersection. If $I=varnothing$ then any set of the form $cup_{iin I}S_i$ is empty.
    – drhab
    Aug 11 '15 at 15:05












  • @drhab Thank you, I have a question about the basis of a topology, not subbasis as I asked here. In my book, they prove that for the topology is equal to the collection of all the union of the basis elements, he has another definition of a basis and how it is generated(Munkres).However in the proof with the implication that every element in the topology is written as a union of basis elements he says: "Conversely given $U in mathcal{T}$, choose for each $x in U$ an element $B_x$ of $mathcal{B}$ such that $x in B_x subset U$. Then $U=cup_{x in U}B_x$, so U equals a union(cont)
    – user119615
    Aug 11 '15 at 15:16










  • of elements in $mathcal{B}$. Must he here also do as you say, take a empty union as you call it?, in order to also get the emptyset? Because U may be empty, and then it is a problem to get the $B_x$?
    – user119615
    Aug 11 '15 at 15:17












  • If $varnothing$ is not an element of the basis (as mostly) then: yes. In that case $varnothing$ can be written as empty union of basiselements.
    – drhab
    Aug 11 '15 at 15:36












  • @drhab Thank you very much!
    – user119615
    Aug 11 '15 at 15:38















up vote
2
down vote

favorite












I want to prove that the subbais of a topology really generates a topology. I think I have been able to prove most of it, but I am not able to show that the empty set is in the topology. Can you please tell me how to show that the empty set is in the topology, and also point out any errors in the other 3 parts if you see it?



The definition of a subbasis in my book is:




A subbasis for $mathcal{S}$ for a topology X is a collection of
subsets of X whose union equals X. The topology generated by the
subbasis is defined to be the collection of all unions of finite
intersections of elements of $mathcal{S}$.




I need to prove that it generates a topology. That is, I need to prove that what is generated has this properties:




  1. X is in what is generated.


2. $emptyset$ is in what is generated.




  1. What is generated is closed under unions.


  2. What is generated is closed under finite intersections.



My attempt:




  1. Since the union of the subbasis equals X this is clear.


2. I do not see how I get the empty set, how do I know that the finite intersections of some sets will be the empty set?



3 and 4:



I have given the set $mathcal{S}$, I assume it has indexset $I^{mathcal{S}}$.



I call the set of all finite intersections of $mathcal{S}$ for $mathcal{B}$. Each element in $mathcal{B}$ is $B_k$, where k is in the index-set $I^{mathcal{B}}$. Each $B_k=cap_{i in I^{B_k}}S_i$, where $S_i in mathcal{S}$, $I^{B_k} subset I^{mathcal{S}}$, $I^{B_k}$ is a finite set.



I call the topology generated(I don't yet know if it is a topology), $mathcal{T}$, each element is denoted $T_l$, $l in I^{mathcal{T}}$. We have by construction that $T_l=cup_{k in I^{T_l}}B_k$, where $I^{T_l}subset I^{mathcal{B}}$. $I^{T_l}$ need not be finite.



Now to prove 3:



Assume that I have a union of elements in $mathcal{T}$, let $V=cup_{lin I^V}T_l$, $I^Vsubset I^{mathcal{T}}$. I need to show that V is a union of finite intersections of elements in $mathcal{S}$.



$V=cup_{lin I^V}T_l$



$=cup_{l in I^V}[cup_{k in I^{T_l}}B_k]$



$=cup_{l in I^V}[cup_{k in I^{T_l}}{{cap_{i in I^{B_k}} S_i}}]$



$cup_{(l,k):l in I^{V}, k in I^{T_l}}[cap_{i in I^{B_k}}S_i]$.



Hence the element is a union of finite intersections of elements in $mathcal{S}$.



4.



For 4 I will prove it for two elements, and then it will follow by induction.



I have $T_1$ and $T_2$:



$T_1cap T_2=[cup_{k_1 in I^{T_1}}B_{k_1}]cap[cup_{k_2 in I^{T_2}}B_{k_2}]$



$=cup_{k_1 in I^{T_1}}[B_{k_1}cap {cup_{k_2 in I^{T_2}}B_{k_2}}]$



$=cup_{k_1 in I^{T_1}}[cup_{k_2 in I^{T_2}}{B_{k_1}cap B_{k_2}}]$



$=cup_{(k_1,k_2) in I^{T_1}times I^{T_2}}[B_{k_1}cap B_{k_2}]$. And obviously $B_{k_1}cap B_{k_2}$ is a finite intersections of elements in $mathcal{S}$ since each B is.



Is this proof correct, and how do I prove point 2?










share|cite|improve this question


















  • 6




    The empty set comes in as an "empty union", not as intersection. If $I=varnothing$ then any set of the form $cup_{iin I}S_i$ is empty.
    – drhab
    Aug 11 '15 at 15:05












  • @drhab Thank you, I have a question about the basis of a topology, not subbasis as I asked here. In my book, they prove that for the topology is equal to the collection of all the union of the basis elements, he has another definition of a basis and how it is generated(Munkres).However in the proof with the implication that every element in the topology is written as a union of basis elements he says: "Conversely given $U in mathcal{T}$, choose for each $x in U$ an element $B_x$ of $mathcal{B}$ such that $x in B_x subset U$. Then $U=cup_{x in U}B_x$, so U equals a union(cont)
    – user119615
    Aug 11 '15 at 15:16










  • of elements in $mathcal{B}$. Must he here also do as you say, take a empty union as you call it?, in order to also get the emptyset? Because U may be empty, and then it is a problem to get the $B_x$?
    – user119615
    Aug 11 '15 at 15:17












  • If $varnothing$ is not an element of the basis (as mostly) then: yes. In that case $varnothing$ can be written as empty union of basiselements.
    – drhab
    Aug 11 '15 at 15:36












  • @drhab Thank you very much!
    – user119615
    Aug 11 '15 at 15:38













up vote
2
down vote

favorite









up vote
2
down vote

favorite











I want to prove that the subbais of a topology really generates a topology. I think I have been able to prove most of it, but I am not able to show that the empty set is in the topology. Can you please tell me how to show that the empty set is in the topology, and also point out any errors in the other 3 parts if you see it?



The definition of a subbasis in my book is:




A subbasis for $mathcal{S}$ for a topology X is a collection of
subsets of X whose union equals X. The topology generated by the
subbasis is defined to be the collection of all unions of finite
intersections of elements of $mathcal{S}$.




I need to prove that it generates a topology. That is, I need to prove that what is generated has this properties:




  1. X is in what is generated.


2. $emptyset$ is in what is generated.




  1. What is generated is closed under unions.


  2. What is generated is closed under finite intersections.



My attempt:




  1. Since the union of the subbasis equals X this is clear.


2. I do not see how I get the empty set, how do I know that the finite intersections of some sets will be the empty set?



3 and 4:



I have given the set $mathcal{S}$, I assume it has indexset $I^{mathcal{S}}$.



I call the set of all finite intersections of $mathcal{S}$ for $mathcal{B}$. Each element in $mathcal{B}$ is $B_k$, where k is in the index-set $I^{mathcal{B}}$. Each $B_k=cap_{i in I^{B_k}}S_i$, where $S_i in mathcal{S}$, $I^{B_k} subset I^{mathcal{S}}$, $I^{B_k}$ is a finite set.



I call the topology generated(I don't yet know if it is a topology), $mathcal{T}$, each element is denoted $T_l$, $l in I^{mathcal{T}}$. We have by construction that $T_l=cup_{k in I^{T_l}}B_k$, where $I^{T_l}subset I^{mathcal{B}}$. $I^{T_l}$ need not be finite.



Now to prove 3:



Assume that I have a union of elements in $mathcal{T}$, let $V=cup_{lin I^V}T_l$, $I^Vsubset I^{mathcal{T}}$. I need to show that V is a union of finite intersections of elements in $mathcal{S}$.



$V=cup_{lin I^V}T_l$



$=cup_{l in I^V}[cup_{k in I^{T_l}}B_k]$



$=cup_{l in I^V}[cup_{k in I^{T_l}}{{cap_{i in I^{B_k}} S_i}}]$



$cup_{(l,k):l in I^{V}, k in I^{T_l}}[cap_{i in I^{B_k}}S_i]$.



Hence the element is a union of finite intersections of elements in $mathcal{S}$.



4.



For 4 I will prove it for two elements, and then it will follow by induction.



I have $T_1$ and $T_2$:



$T_1cap T_2=[cup_{k_1 in I^{T_1}}B_{k_1}]cap[cup_{k_2 in I^{T_2}}B_{k_2}]$



$=cup_{k_1 in I^{T_1}}[B_{k_1}cap {cup_{k_2 in I^{T_2}}B_{k_2}}]$



$=cup_{k_1 in I^{T_1}}[cup_{k_2 in I^{T_2}}{B_{k_1}cap B_{k_2}}]$



$=cup_{(k_1,k_2) in I^{T_1}times I^{T_2}}[B_{k_1}cap B_{k_2}]$. And obviously $B_{k_1}cap B_{k_2}$ is a finite intersections of elements in $mathcal{S}$ since each B is.



Is this proof correct, and how do I prove point 2?










share|cite|improve this question













I want to prove that the subbais of a topology really generates a topology. I think I have been able to prove most of it, but I am not able to show that the empty set is in the topology. Can you please tell me how to show that the empty set is in the topology, and also point out any errors in the other 3 parts if you see it?



The definition of a subbasis in my book is:




A subbasis for $mathcal{S}$ for a topology X is a collection of
subsets of X whose union equals X. The topology generated by the
subbasis is defined to be the collection of all unions of finite
intersections of elements of $mathcal{S}$.




I need to prove that it generates a topology. That is, I need to prove that what is generated has this properties:




  1. X is in what is generated.


2. $emptyset$ is in what is generated.




  1. What is generated is closed under unions.


  2. What is generated is closed under finite intersections.



My attempt:




  1. Since the union of the subbasis equals X this is clear.


2. I do not see how I get the empty set, how do I know that the finite intersections of some sets will be the empty set?



3 and 4:



I have given the set $mathcal{S}$, I assume it has indexset $I^{mathcal{S}}$.



I call the set of all finite intersections of $mathcal{S}$ for $mathcal{B}$. Each element in $mathcal{B}$ is $B_k$, where k is in the index-set $I^{mathcal{B}}$. Each $B_k=cap_{i in I^{B_k}}S_i$, where $S_i in mathcal{S}$, $I^{B_k} subset I^{mathcal{S}}$, $I^{B_k}$ is a finite set.



I call the topology generated(I don't yet know if it is a topology), $mathcal{T}$, each element is denoted $T_l$, $l in I^{mathcal{T}}$. We have by construction that $T_l=cup_{k in I^{T_l}}B_k$, where $I^{T_l}subset I^{mathcal{B}}$. $I^{T_l}$ need not be finite.



Now to prove 3:



Assume that I have a union of elements in $mathcal{T}$, let $V=cup_{lin I^V}T_l$, $I^Vsubset I^{mathcal{T}}$. I need to show that V is a union of finite intersections of elements in $mathcal{S}$.



$V=cup_{lin I^V}T_l$



$=cup_{l in I^V}[cup_{k in I^{T_l}}B_k]$



$=cup_{l in I^V}[cup_{k in I^{T_l}}{{cap_{i in I^{B_k}} S_i}}]$



$cup_{(l,k):l in I^{V}, k in I^{T_l}}[cap_{i in I^{B_k}}S_i]$.



Hence the element is a union of finite intersections of elements in $mathcal{S}$.



4.



For 4 I will prove it for two elements, and then it will follow by induction.



I have $T_1$ and $T_2$:



$T_1cap T_2=[cup_{k_1 in I^{T_1}}B_{k_1}]cap[cup_{k_2 in I^{T_2}}B_{k_2}]$



$=cup_{k_1 in I^{T_1}}[B_{k_1}cap {cup_{k_2 in I^{T_2}}B_{k_2}}]$



$=cup_{k_1 in I^{T_1}}[cup_{k_2 in I^{T_2}}{B_{k_1}cap B_{k_2}}]$



$=cup_{(k_1,k_2) in I^{T_1}times I^{T_2}}[B_{k_1}cap B_{k_2}]$. And obviously $B_{k_1}cap B_{k_2}$ is a finite intersections of elements in $mathcal{S}$ since each B is.



Is this proof correct, and how do I prove point 2?







general-topology






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Aug 11 '15 at 14:58









user119615

3,85031645




3,85031645








  • 6




    The empty set comes in as an "empty union", not as intersection. If $I=varnothing$ then any set of the form $cup_{iin I}S_i$ is empty.
    – drhab
    Aug 11 '15 at 15:05












  • @drhab Thank you, I have a question about the basis of a topology, not subbasis as I asked here. In my book, they prove that for the topology is equal to the collection of all the union of the basis elements, he has another definition of a basis and how it is generated(Munkres).However in the proof with the implication that every element in the topology is written as a union of basis elements he says: "Conversely given $U in mathcal{T}$, choose for each $x in U$ an element $B_x$ of $mathcal{B}$ such that $x in B_x subset U$. Then $U=cup_{x in U}B_x$, so U equals a union(cont)
    – user119615
    Aug 11 '15 at 15:16










  • of elements in $mathcal{B}$. Must he here also do as you say, take a empty union as you call it?, in order to also get the emptyset? Because U may be empty, and then it is a problem to get the $B_x$?
    – user119615
    Aug 11 '15 at 15:17












  • If $varnothing$ is not an element of the basis (as mostly) then: yes. In that case $varnothing$ can be written as empty union of basiselements.
    – drhab
    Aug 11 '15 at 15:36












  • @drhab Thank you very much!
    – user119615
    Aug 11 '15 at 15:38














  • 6




    The empty set comes in as an "empty union", not as intersection. If $I=varnothing$ then any set of the form $cup_{iin I}S_i$ is empty.
    – drhab
    Aug 11 '15 at 15:05












  • @drhab Thank you, I have a question about the basis of a topology, not subbasis as I asked here. In my book, they prove that for the topology is equal to the collection of all the union of the basis elements, he has another definition of a basis and how it is generated(Munkres).However in the proof with the implication that every element in the topology is written as a union of basis elements he says: "Conversely given $U in mathcal{T}$, choose for each $x in U$ an element $B_x$ of $mathcal{B}$ such that $x in B_x subset U$. Then $U=cup_{x in U}B_x$, so U equals a union(cont)
    – user119615
    Aug 11 '15 at 15:16










  • of elements in $mathcal{B}$. Must he here also do as you say, take a empty union as you call it?, in order to also get the emptyset? Because U may be empty, and then it is a problem to get the $B_x$?
    – user119615
    Aug 11 '15 at 15:17












  • If $varnothing$ is not an element of the basis (as mostly) then: yes. In that case $varnothing$ can be written as empty union of basiselements.
    – drhab
    Aug 11 '15 at 15:36












  • @drhab Thank you very much!
    – user119615
    Aug 11 '15 at 15:38








6




6




The empty set comes in as an "empty union", not as intersection. If $I=varnothing$ then any set of the form $cup_{iin I}S_i$ is empty.
– drhab
Aug 11 '15 at 15:05






The empty set comes in as an "empty union", not as intersection. If $I=varnothing$ then any set of the form $cup_{iin I}S_i$ is empty.
– drhab
Aug 11 '15 at 15:05














@drhab Thank you, I have a question about the basis of a topology, not subbasis as I asked here. In my book, they prove that for the topology is equal to the collection of all the union of the basis elements, he has another definition of a basis and how it is generated(Munkres).However in the proof with the implication that every element in the topology is written as a union of basis elements he says: "Conversely given $U in mathcal{T}$, choose for each $x in U$ an element $B_x$ of $mathcal{B}$ such that $x in B_x subset U$. Then $U=cup_{x in U}B_x$, so U equals a union(cont)
– user119615
Aug 11 '15 at 15:16




@drhab Thank you, I have a question about the basis of a topology, not subbasis as I asked here. In my book, they prove that for the topology is equal to the collection of all the union of the basis elements, he has another definition of a basis and how it is generated(Munkres).However in the proof with the implication that every element in the topology is written as a union of basis elements he says: "Conversely given $U in mathcal{T}$, choose for each $x in U$ an element $B_x$ of $mathcal{B}$ such that $x in B_x subset U$. Then $U=cup_{x in U}B_x$, so U equals a union(cont)
– user119615
Aug 11 '15 at 15:16












of elements in $mathcal{B}$. Must he here also do as you say, take a empty union as you call it?, in order to also get the emptyset? Because U may be empty, and then it is a problem to get the $B_x$?
– user119615
Aug 11 '15 at 15:17






of elements in $mathcal{B}$. Must he here also do as you say, take a empty union as you call it?, in order to also get the emptyset? Because U may be empty, and then it is a problem to get the $B_x$?
– user119615
Aug 11 '15 at 15:17














If $varnothing$ is not an element of the basis (as mostly) then: yes. In that case $varnothing$ can be written as empty union of basiselements.
– drhab
Aug 11 '15 at 15:36






If $varnothing$ is not an element of the basis (as mostly) then: yes. In that case $varnothing$ can be written as empty union of basiselements.
– drhab
Aug 11 '15 at 15:36














@drhab Thank you very much!
– user119615
Aug 11 '15 at 15:38




@drhab Thank you very much!
– user119615
Aug 11 '15 at 15:38










1 Answer
1






active

oldest

votes

















up vote
0
down vote













A collection $mathcal{B}$ is a basis of a topology on $X$ if it covers $X$ and: $$forall P,Qinmathcal{B}forall xin Pcap Qexists B_{x}inmathcal{B}left[xin B_{x}subseteq Pcap Qright]$$



Note that this comes to the same as: $$Pcap Q=cup_{xin Pcap Q}B_{x}$$
So an intersection can be written as a union.



These condition can shortly be noted as: $$mathcal{B}^{stackrel{bigcap}{f}}subseteqmathcal{B}^{bigcup}$$
where $mathcal{B}^{stackrel{bigcap}{f}}$ denotes the set of finite
intersections of elements of $mathcal{B}$ and $mathcal{B}^{bigcup}$
denotes the set of unions of elements of $mathcal{B}$.



Here $X$ is defined as empty intersection.



Here $mathcal{B}^{bigcup}$ is the topology of wich $mathcal{B}$
serves as base.



If $mathcal{B}:=mathcal{S}^{stackrel{bigcap}{f}}$ then $mathcal{B}^{stackrel{bigcap}{f}}=left(mathcal{S}^{stackrel{bigcap}{f}}right)^{stackrel{bigcap}{f}}=mathcal{S}^{stackrel{bigcap}{f}}=mathcal{B}subseteqmathcal{B}^{bigcup}$



So this shows that $mathcal{S}^{stackrel{bigcap}{f}}$ is indeed a basis,
and it is the basis of topology $mathcal{B}^{bigcup}=left(mathcal{S}^{stackrel{bigcap}{f}}right)^{bigcup}$.






share|cite|improve this answer





















    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',
    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
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1393258%2fproving-that-the-subbasis-generates-a-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








    up vote
    0
    down vote













    A collection $mathcal{B}$ is a basis of a topology on $X$ if it covers $X$ and: $$forall P,Qinmathcal{B}forall xin Pcap Qexists B_{x}inmathcal{B}left[xin B_{x}subseteq Pcap Qright]$$



    Note that this comes to the same as: $$Pcap Q=cup_{xin Pcap Q}B_{x}$$
    So an intersection can be written as a union.



    These condition can shortly be noted as: $$mathcal{B}^{stackrel{bigcap}{f}}subseteqmathcal{B}^{bigcup}$$
    where $mathcal{B}^{stackrel{bigcap}{f}}$ denotes the set of finite
    intersections of elements of $mathcal{B}$ and $mathcal{B}^{bigcup}$
    denotes the set of unions of elements of $mathcal{B}$.



    Here $X$ is defined as empty intersection.



    Here $mathcal{B}^{bigcup}$ is the topology of wich $mathcal{B}$
    serves as base.



    If $mathcal{B}:=mathcal{S}^{stackrel{bigcap}{f}}$ then $mathcal{B}^{stackrel{bigcap}{f}}=left(mathcal{S}^{stackrel{bigcap}{f}}right)^{stackrel{bigcap}{f}}=mathcal{S}^{stackrel{bigcap}{f}}=mathcal{B}subseteqmathcal{B}^{bigcup}$



    So this shows that $mathcal{S}^{stackrel{bigcap}{f}}$ is indeed a basis,
    and it is the basis of topology $mathcal{B}^{bigcup}=left(mathcal{S}^{stackrel{bigcap}{f}}right)^{bigcup}$.






    share|cite|improve this answer

























      up vote
      0
      down vote













      A collection $mathcal{B}$ is a basis of a topology on $X$ if it covers $X$ and: $$forall P,Qinmathcal{B}forall xin Pcap Qexists B_{x}inmathcal{B}left[xin B_{x}subseteq Pcap Qright]$$



      Note that this comes to the same as: $$Pcap Q=cup_{xin Pcap Q}B_{x}$$
      So an intersection can be written as a union.



      These condition can shortly be noted as: $$mathcal{B}^{stackrel{bigcap}{f}}subseteqmathcal{B}^{bigcup}$$
      where $mathcal{B}^{stackrel{bigcap}{f}}$ denotes the set of finite
      intersections of elements of $mathcal{B}$ and $mathcal{B}^{bigcup}$
      denotes the set of unions of elements of $mathcal{B}$.



      Here $X$ is defined as empty intersection.



      Here $mathcal{B}^{bigcup}$ is the topology of wich $mathcal{B}$
      serves as base.



      If $mathcal{B}:=mathcal{S}^{stackrel{bigcap}{f}}$ then $mathcal{B}^{stackrel{bigcap}{f}}=left(mathcal{S}^{stackrel{bigcap}{f}}right)^{stackrel{bigcap}{f}}=mathcal{S}^{stackrel{bigcap}{f}}=mathcal{B}subseteqmathcal{B}^{bigcup}$



      So this shows that $mathcal{S}^{stackrel{bigcap}{f}}$ is indeed a basis,
      and it is the basis of topology $mathcal{B}^{bigcup}=left(mathcal{S}^{stackrel{bigcap}{f}}right)^{bigcup}$.






      share|cite|improve this answer























        up vote
        0
        down vote










        up vote
        0
        down vote









        A collection $mathcal{B}$ is a basis of a topology on $X$ if it covers $X$ and: $$forall P,Qinmathcal{B}forall xin Pcap Qexists B_{x}inmathcal{B}left[xin B_{x}subseteq Pcap Qright]$$



        Note that this comes to the same as: $$Pcap Q=cup_{xin Pcap Q}B_{x}$$
        So an intersection can be written as a union.



        These condition can shortly be noted as: $$mathcal{B}^{stackrel{bigcap}{f}}subseteqmathcal{B}^{bigcup}$$
        where $mathcal{B}^{stackrel{bigcap}{f}}$ denotes the set of finite
        intersections of elements of $mathcal{B}$ and $mathcal{B}^{bigcup}$
        denotes the set of unions of elements of $mathcal{B}$.



        Here $X$ is defined as empty intersection.



        Here $mathcal{B}^{bigcup}$ is the topology of wich $mathcal{B}$
        serves as base.



        If $mathcal{B}:=mathcal{S}^{stackrel{bigcap}{f}}$ then $mathcal{B}^{stackrel{bigcap}{f}}=left(mathcal{S}^{stackrel{bigcap}{f}}right)^{stackrel{bigcap}{f}}=mathcal{S}^{stackrel{bigcap}{f}}=mathcal{B}subseteqmathcal{B}^{bigcup}$



        So this shows that $mathcal{S}^{stackrel{bigcap}{f}}$ is indeed a basis,
        and it is the basis of topology $mathcal{B}^{bigcup}=left(mathcal{S}^{stackrel{bigcap}{f}}right)^{bigcup}$.






        share|cite|improve this answer












        A collection $mathcal{B}$ is a basis of a topology on $X$ if it covers $X$ and: $$forall P,Qinmathcal{B}forall xin Pcap Qexists B_{x}inmathcal{B}left[xin B_{x}subseteq Pcap Qright]$$



        Note that this comes to the same as: $$Pcap Q=cup_{xin Pcap Q}B_{x}$$
        So an intersection can be written as a union.



        These condition can shortly be noted as: $$mathcal{B}^{stackrel{bigcap}{f}}subseteqmathcal{B}^{bigcup}$$
        where $mathcal{B}^{stackrel{bigcap}{f}}$ denotes the set of finite
        intersections of elements of $mathcal{B}$ and $mathcal{B}^{bigcup}$
        denotes the set of unions of elements of $mathcal{B}$.



        Here $X$ is defined as empty intersection.



        Here $mathcal{B}^{bigcup}$ is the topology of wich $mathcal{B}$
        serves as base.



        If $mathcal{B}:=mathcal{S}^{stackrel{bigcap}{f}}$ then $mathcal{B}^{stackrel{bigcap}{f}}=left(mathcal{S}^{stackrel{bigcap}{f}}right)^{stackrel{bigcap}{f}}=mathcal{S}^{stackrel{bigcap}{f}}=mathcal{B}subseteqmathcal{B}^{bigcup}$



        So this shows that $mathcal{S}^{stackrel{bigcap}{f}}$ is indeed a basis,
        and it is the basis of topology $mathcal{B}^{bigcup}=left(mathcal{S}^{stackrel{bigcap}{f}}right)^{bigcup}$.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Aug 11 '15 at 15:39









        drhab

        95.1k543126




        95.1k543126






























            draft saved

            draft discarded




















































            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.





            Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


            Please pay close attention to the following guidance:


            • 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.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1393258%2fproving-that-the-subbasis-generates-a-topology%23new-answer', 'question_page');
            }
            );

            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







            Popular posts from this blog

            Berounka

            Sphinx de Gizeh

            Different font size/position of beamer's navigation symbols template's content depending on regular/plain...