{ localUrl: '../page/poset_join_exercises.html', arbitalUrl: 'https://arbital.com/p/poset_join_exercises', rawJsonUrl: '../raw/4ll.json', likeableId: '4038', likeableType: 'page', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [ 'MichaelEngelhard' ], pageId: 'poset_join_exercises', edit: '15', editSummary: '', prevEdit: '14', currentEdit: '15', wasPublished: 'true', type: 'wiki', title: 'Join and meet: Exercises', clickbait: '', textLength: '2210', alias: 'poset_join_exercises', externalUrl: '', sortChildrenBy: 'likes', hasVote: 'false', voteType: '', votesAnonymous: 'false', editCreatorId: 'KevinClancy', editCreatedAt: '2016-07-29 21:24:27', pageCreatorId: 'KevinClancy', pageCreatedAt: '2016-06-19 02:11:35', seeDomainId: '0', editDomainId: 'AlexeiAndreev', submitToDomainId: '0', isAutosave: 'false', isSnapshot: 'false', isLiveEdit: 'true', isMinorEdit: 'false', indirectTeacher: 'false', todoCount: '0', isEditorComment: 'false', isApprovedComment: 'true', isResolved: 'false', snapshotText: '', anchorContext: '', anchorText: '', anchorOffset: '0', mergedInto: '', isDeleted: 'false', viewCount: '84', text: 'Try these exercises to test your knowledge of joins and meets.\n\n\nTangled up \n--------------------\n\n![a big crazy poset](http://i.imgur.com/cYqkKm7.png)\n\nDetermine whether or not the following joins and meets exist in the poset depicted by the above Hasse diagram. \n\n$c \\vee b$\n\n%%hidden(Show solution):\nThis join does *not* exist, because $i$ and $j$ are incomparable upper bounds of $\\{ c, b \\}$, and no smaller upper bounds of $\\{ c, b \\}$ exist.\n%%\n\n$g \\vee e$\n\n%%hidden(Show solution):\nThis join exists. $g \\vee e = j$.\n%%\n\n$j \\wedge f$ \n\n%%hidden(Show solution):\nThis meet does *not* exist, because $d$ and $b$ are incomparable lower bounds of $\\{ j, f \\}$, and no larger lower bounds of $\\{ j, f \\}$ exist.\n%%\n\n$\\bigvee \\{a,b,c,d,e,f,g,h,i,j,k,l\\}$\n\n%%hidden(Show solution):\nThis join exists. It is $l$.\n%%\n\nJoin fu\n------------\n\nLet $P$ be a poset, $S \\subseteq P$, and $p \\in P$. Prove that if both $\\bigvee S$ and $(\\bigvee S) \\vee p$ exist then $\\bigvee (S \\cup \\{p\\})$ exists as well, and $(\\bigvee S) \\vee p = \\bigvee (S \\cup \\{p\\})$.\n\n%%hidden(Show solution):\nFor any $X \\subset P$, let $X^U$ denote the set of upper bounds of $X$. The above proposition follows from the fact that $\\{\\bigvee S, p\\}^U = (S \\cup p)^U$, which is apparent from the following chain of bi-implications:\n\n$q \\in \\{\\bigvee S, p\\}^U \\iff$ \n\nfor all $s \\in S, q \\geq \\bigvee S \\geq s$, and $q \\geq p \\iff$\n\n$q \\in (S \\cup \\{p\\})^U$.\n\nIf two subsets of a poset have the same set of upper bounds, then either they both lack a least upper bound, or both have the same least upper bound.\n%%\n\nMeet fu\n------------\n\nLet $P$ be a poset, $S \\subseteq P$, and $p \\in P$. Prove that if both $\\bigwedge S$ and $(\\bigwedge S) \\wedge p$ exist then $\\bigwedge (S \\cup \\{p\\})$ exists as well, and $(\\bigwedge S) \\wedge p = \\bigwedge(S \\cup \\{p\\})$.\n\n%%hidden(Show solution):\nNote that the proposition we are trying to prove here is the dual of the one stated in join fu. Thanks to the duality principle, this theorem therefore comes for free with our solution to join fu.\n%%\n\nQuite a big join\n--------------------------\n\nIn the poset $\\langle \\mathbb N, | \\rangle$ discussed in [43s], does $\\bigvee \\mathbb N$ exist? If so, what is it?\n\n', metaText: '', isTextLoaded: 'true', isSubscribedToDiscussion: 'false', isSubscribedToUser: 'false', isSubscribedAsMaintainer: 'false', discussionSubscriberCount: '1', maintainerCount: '1', userSubscriberCount: '0', lastVisit: '', hasDraft: 'false', votes: [], voteSummary: [ '0', '0', '0', '0', '0', '0', '0', '0', '0', '0' ], muVoteSummary: '0', voteScaling: '0', currentUserVote: '-2', voteCount: '0', lockedVoteType: '', maxEditEver: '0', redLinkCount: '0', lockedBy: '', lockedUntil: '', nextPageId: '', prevPageId: '', usedAsMastery: 'false', proposalEditNum: '0', permissions: { edit: { has: 'false', reason: 'You don't have domain permission to edit this page' }, proposeEdit: { has: 'true', reason: '' }, delete: { has: 'false', reason: 'You don't have domain permission to delete this page' }, comment: { has: 'false', reason: 'You can't comment in this domain because you are not a member' }, proposeComment: { has: 'true', reason: '' } }, summaries: {}, creatorIds: [ 'KevinClancy' ], childIds: [], parentIds: [ 'math_join' ], commentIds: [], questionIds: [], tagIds: [ 'exercise_meta_tag' ], relatedIds: [], markIds: [], explanations: [], learnMore: [], requirements: [], subjects: [], lenses: [], lensParentId: 'math_join', pathPages: [], learnMoreTaughtMap: {}, learnMoreCoveredMap: {}, learnMoreRequiredMap: {}, editHistory: {}, domainSubmissions: {}, answers: [], answerCount: '0', commentCount: '0', newCommentCount: '0', linkedMarkCount: '0', changeLogs: [ { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17752', pageId: 'poset_join_exercises', userId: 'KevinClancy', edit: '15', type: 'newEdit', createdAt: '2016-07-29 21:24:28', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17749', pageId: 'poset_join_exercises', userId: 'KevinClancy', edit: '14', type: 'newEdit', createdAt: '2016-07-29 20:48:48', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15000', pageId: 'poset_join_exercises', userId: 'KevinClancy', edit: '13', type: 'newEdit', createdAt: '2016-06-30 22:17:24', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14832', pageId: 'poset_join_exercises', userId: 'KevinClancy', edit: '11', type: 'newEdit', createdAt: '2016-06-29 23:04:19', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14831', pageId: 'poset_join_exercises', userId: 'KevinClancy', edit: '10', type: 'newEdit', createdAt: '2016-06-29 22:57:26', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14830', pageId: 'poset_join_exercises', userId: 'KevinClancy', edit: '9', type: 'newEdit', createdAt: '2016-06-29 22:55:13', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14829', pageId: 'poset_join_exercises', userId: 'KevinClancy', edit: '8', type: 'newEdit', createdAt: '2016-06-29 22:53:31', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '2879', likeableType: 'changeLog', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [], id: '14828', pageId: 'poset_join_exercises', userId: 'KevinClancy', edit: '7', type: 'newEdit', createdAt: '2016-06-29 22:49:17', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14454', pageId: 'poset_join_exercises', userId: 'KevinClancy', edit: '6', type: 'newEdit', createdAt: '2016-06-23 16:25:56', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14453', pageId: 'poset_join_exercises', userId: 'KevinClancy', edit: '5', type: 'newEdit', createdAt: '2016-06-23 16:25:06', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14170', pageId: 'poset_join_exercises', userId: 'EricBruylant', edit: '0', type: 'newTag', createdAt: '2016-06-20 22:31:10', auxPageId: 'exercise_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14060', pageId: 'poset_join_exercises', userId: 'KevinClancy', edit: '4', type: 'newEdit', createdAt: '2016-06-20 03:55:22', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14059', pageId: 'poset_join_exercises', userId: 'KevinClancy', edit: '3', type: 'newEdit', createdAt: '2016-06-20 03:55:01', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13986', pageId: 'poset_join_exercises', userId: 'KevinClancy', edit: '2', type: 'newEdit', createdAt: '2016-06-19 02:13:16', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13985', pageId: 'poset_join_exercises', userId: 'KevinClancy', edit: '0', type: 'deleteParent', createdAt: '2016-06-19 02:12:57', auxPageId: 'math', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13983', pageId: 'poset_join_exercises', userId: 'KevinClancy', edit: '0', type: 'newParent', createdAt: '2016-06-19 02:12:56', auxPageId: 'math_join', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13981', pageId: 'poset_join_exercises', userId: 'KevinClancy', edit: '0', type: 'newParent', createdAt: '2016-06-19 02:12:01', auxPageId: 'math', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13979', pageId: 'poset_join_exercises', userId: 'KevinClancy', edit: '1', type: 'newEdit', createdAt: '2016-06-19 02:11:35', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' } ], feedSubmissions: [], searchStrings: {}, hasChildren: 'false', hasParents: 'true', redAliases: {}, improvementTagIds: [], nonMetaTagIds: [], todos: [], slowDownMap: 'null', speedUpMap: 'null', arcPageIds: 'null', contentRequests: {} }