Translating the definition of a basis in topology to subsidary deduction rules
I am trying to write the definition of a basis for a topological space as a subsidiary deduction rule. A collection $beta$ of subsets of a set $X$ is a basis for a topology on $X$ if and only if $(forall x in X:exists B in beta: x in B) wedge (forall x in X:forall B_1 in beta:forall B_2 in beta:x in B_1 cap B_2 rightarrow exists B_3 in beta:x in B_3 wedge B_3 subset B_1 cap B_2)$.
My question is that is it appropriate to write the former definition in the following form.
A collection $beta$ of subsets of a set $X$ is a basis for a topology on $X$ if and only if $vdash forall x in X:exists B in beta: x in B$ and $x in X,B_1 in beta, B_2 in beta, x in B_1 cap B_2 vdash exists B_3 in beta:x in B_3 wedge B_3 subset B_1 cap B_2$?
My confusion is owing to the fact that the property of being a basis appears to be a semantic one (I am not sure) and given that, if it is appropriate to use $vdash$ instead of $vDash$. Secondly, since the subsidiary deductions are true contingently, depending on if $beta$ is a basis or not, is it acceptable to use them. What would then be an appropriate way to write the definition in a metalanguage other than natural language?
general-topology logic
asked Nov 29 at 20:31
Anirban Mandal
797
add a comment |
I am trying to write the definition of a basis for a topological space as a subsidiary deduction rule. A collection $beta$ of subsets of a set $X$ is a basis for a topology on $X$ if and only if $(forall x in X:exists B in beta: x in B) wedge (forall x in X:forall B_1 in beta:forall B_2 in beta:x in B_1 cap B_2 rightarrow exists B_3 in beta:x in B_3 wedge B_3 subset B_1 cap B_2)$.
My question is that is it appropriate to write the former definition in the following form.
A collection $beta$ of subsets of a set $X$ is a basis for a topology on $X$ if and only if $vdash forall x in X:exists B in beta: x in B$ and $x in X,B_1 in beta, B_2 in beta, x in B_1 cap B_2 vdash exists B_3 in beta:x in B_3 wedge B_3 subset B_1 cap B_2$?
My confusion is owing to the fact that the property of being a basis appears to be a semantic one (I am not sure) and given that, if it is appropriate to use $vdash$ instead of $vDash$. Secondly, since the subsidiary deductions are true contingently, depending on if $beta$ is a basis or not, is it acceptable to use them. What would then be an appropriate way to write the definition in a metalanguage other than natural language?
general-topology logic
asked Nov 29 at 20:31
Anirban Mandal
797
add a comment |
I am trying to write the definition of a basis for a topological space as a subsidiary deduction rule. A collection $beta$ of subsets of a set $X$ is a basis for a topology on $X$ if and only if $(forall x in X:exists B in beta: x in B) wedge (forall x in X:forall B_1 in beta:forall B_2 in beta:x in B_1 cap B_2 rightarrow exists B_3 in beta:x in B_3 wedge B_3 subset B_1 cap B_2)$.
My question is that is it appropriate to write the former definition in the following form.
A collection $beta$ of subsets of a set $X$ is a basis for a topology on $X$ if and only if $vdash forall x in X:exists B in beta: x in B$ and $x in X,B_1 in beta, B_2 in beta, x in B_1 cap B_2 vdash exists B_3 in beta:x in B_3 wedge B_3 subset B_1 cap B_2$?
My confusion is owing to the fact that the property of being a basis appears to be a semantic one (I am not sure) and given that, if it is appropriate to use $vdash$ instead of $vDash$. Secondly, since the subsidiary deductions are true contingently, depending on if $beta$ is a basis or not, is it acceptable to use them. What would then be an appropriate way to write the definition in a metalanguage other than natural language?
general-topology logic
asked Nov 29 at 20:31
Anirban Mandal
797
I am trying to write the definition of a basis for a topological space as a subsidiary deduction rule. A collection $beta$ of subsets of a set $X$ is a basis for a topology on $X$ if and only if $(forall x in X:exists B in beta: x in B) wedge (forall x in X:forall B_1 in beta:forall B_2 in beta:x in B_1 cap B_2 rightarrow exists B_3 in beta:x in B_3 wedge B_3 subset B_1 cap B_2)$.
My question is that is it appropriate to write the former definition in the following form.
A collection $beta$ of subsets of a set $X$ is a basis for a topology on $X$ if and only if $vdash forall x in X:exists B in beta: x in B$ and $x in X,B_1 in beta, B_2 in beta, x in B_1 cap B_2 vdash exists B_3 in beta:x in B_3 wedge B_3 subset B_1 cap B_2$?
My confusion is owing to the fact that the property of being a basis appears to be a semantic one (I am not sure) and given that, if it is appropriate to use $vdash$ instead of $vDash$. Secondly, since the subsidiary deductions are true contingently, depending on if $beta$ is a basis or not, is it acceptable to use them. What would then be an appropriate way to write the definition in a metalanguage other than natural language?
general-topology logic
general-topology logic
asked Nov 29 at 20:31
Anirban Mandal
797
asked Nov 29 at 20:31
Anirban Mandal
797
edited Nov 30 at 14:07
asked Nov 29 at 20:31
Anirban Mandal
797
asked Nov 29 at 20:31
Anirban Mandal
797
asked Nov 29 at 20:31
Anirban Mandal
797
797
add a comment |
add a comment |
active
oldest
votes
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%2f3019168%2ftranslating-the-definition-of-a-basis-in-topology-to-subsidary-deduction-rules%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
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.
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%2f3019168%2ftranslating-the-definition-of-a-basis-in-topology-to-subsidary-deduction-rules%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
