{ localUrl: '../page/order_monotone_exercises.html', arbitalUrl: 'https://arbital.com/p/order_monotone_exercises', rawJsonUrl: '../raw/6pv.json', likeableId: '0', likeableType: 'page', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], pageId: 'order_monotone_exercises', edit: '9', editSummary: '', prevEdit: '8', currentEdit: '9', wasPublished: 'true', type: 'wiki', title: 'Monotone function: exercises', clickbait: '', textLength: '1593', alias: 'order_monotone_exercises', externalUrl: '', sortChildrenBy: 'likes', hasVote: 'false', voteType: '', votesAnonymous: 'false', editCreatorId: 'KevinClancy', editCreatedAt: '2016-12-03 23:49:22', pageCreatorId: 'KevinClancy', pageCreatedAt: '2016-12-03 02:30:23', seeDomainId: '0', editDomainId: '247', submitToDomainId: '0', isAutosave: 'false', isSnapshot: 'false', isLiveEdit: 'true', isMinorEdit: 'false', indirectTeacher: 'false', todoCount: '0', isEditorComment: 'false', isApprovedComment: 'false', isResolved: 'false', snapshotText: '', anchorContext: '', anchorText: '', anchorOffset: '0', mergedInto: '', isDeleted: 'false', viewCount: '41', text: 'Try these exercises and become a *deity* of monotonicity.\n\n\nMonotone composition\n-----\n\nLet $P, Q$, and $R$ be posets and let $f : P \\to Q$ and $g : Q \\to R$ be monotone\nfunctions. Prove that their composition $g \\circ f$ is a monotone function from $P$ to $R$.\n\n\nEvil twin \n-------\n\nLet $P$ and $Q$ be posets. A function $f : P \\to Q$ is called **antitone** if it *reverses* order: that is, $f$ is antitone whenever $p_1 \\leq_P p_2$ implies $f(p_1) \\geq_Q f(p_2)$. Prove that the composition of two antitone functions is monotone.\n\nPartial monotonicity\n----------\n\nA two argument function $f : P \\times A \\to Q$ is called *partially monotone in the 1st argument* whenever $P$ and $Q$ are posets and for all $a \\in A$, $p_1 \\leq_P p_2$ implies $f(a, p_1) \\leq_Q f(a, p_2)$. Likewise a 2-argument function $f : A \\times P \\to Q$ is called *partially monotone in the second argument* whenever $P$ and $Q$ are posets and for all $a \\in A$, $p_1 \\leq_P p_2$ implies $f(p_1, a) \\leq_Q f(p_2, a)$.\n\nLet $P, Q, R$, and $S$ be posets, and let $f : P \\times Q \\to R$ be a function that is partially monotone in both of its arguments. Furthermore, let $g_1 : S \\to P$ and $g_2 : S \\to Q$ be monotone functions.\n\nProve that the function $h : S \\to R$ defined as $h(s) \\doteq f(g_1(s), g_2(s))$ is monotone.\n\nBrain storm\n------\n\nList all of the commonly used two argument functions you can think of that are partially monotone in both arguments. Also, list all of the commonly used two argument functions you can think of that are partially monotone in one argument and partially antitone in the other.\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: [ 'poset_monotone_function' ], commentIds: [], questionIds: [], tagIds: [], relatedIds: [], markIds: [], explanations: [], learnMore: [], requirements: [], subjects: [], lenses: [], lensParentId: 'poset_monotone_function', 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: '20577', pageId: 'order_monotone_exercises', userId: 'KevinClancy', edit: '9', type: 'newEdit', createdAt: '2016-12-03 23:49:22', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20569', pageId: 'order_monotone_exercises', userId: 'KevinClancy', edit: '8', type: 'newEdit', createdAt: '2016-12-03 04:26:35', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20568', pageId: 'order_monotone_exercises', userId: 'KevinClancy', edit: '7', type: 'newEdit', createdAt: '2016-12-03 04:25:28', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20567', pageId: 'order_monotone_exercises', userId: 'KevinClancy', edit: '6', type: 'newEdit', createdAt: '2016-12-03 04:14:10', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20566', pageId: 'order_monotone_exercises', userId: 'KevinClancy', edit: '5', type: 'newEdit', createdAt: '2016-12-03 03:01:53', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20562', pageId: 'order_monotone_exercises', userId: 'KevinClancy', edit: '4', type: 'newEdit', createdAt: '2016-12-03 02:46:15', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20560', pageId: 'order_monotone_exercises', userId: 'KevinClancy', edit: '0', type: 'newAlias', createdAt: '2016-12-03 02:41:28', auxPageId: '', oldSettingsValue: '6pv', newSettingsValue: 'order_monotone_exercises' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20556', pageId: 'order_monotone_exercises', userId: 'KevinClancy', edit: '3', type: 'newEdit', createdAt: '2016-12-03 02:33:54', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20555', pageId: 'order_monotone_exercises', userId: 'KevinClancy', edit: '2', type: 'newEdit', createdAt: '2016-12-03 02:33:15', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20553', pageId: 'order_monotone_exercises', userId: 'KevinClancy', edit: '0', type: 'deleteTeacher', createdAt: '2016-12-03 02:33:06', auxPageId: 'order_monotone_exercises', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20554', pageId: 'order_monotone_exercises', userId: 'KevinClancy', edit: '0', type: 'deleteSubject', createdAt: '2016-12-03 02:33:06', auxPageId: 'order_monotone_exercises', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20550', pageId: 'order_monotone_exercises', userId: 'KevinClancy', edit: '0', type: 'newParent', createdAt: '2016-12-03 02:30:25', auxPageId: 'poset_monotone_function', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20551', pageId: 'order_monotone_exercises', userId: 'KevinClancy', edit: '0', type: 'newTeacher', createdAt: '2016-12-03 02:30:25', auxPageId: 'order_monotone_exercises', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20552', pageId: 'order_monotone_exercises', userId: 'KevinClancy', edit: '0', type: 'newSubject', createdAt: '2016-12-03 02:30:25', auxPageId: 'order_monotone_exercises', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20548', pageId: 'order_monotone_exercises', userId: 'KevinClancy', edit: '1', type: 'newEdit', createdAt: '2016-12-03 02:30:23', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' } ], feedSubmissions: [], searchStrings: {}, hasChildren: 'false', hasParents: 'true', redAliases: {}, improvementTagIds: [], nonMetaTagIds: [], todos: [], slowDownMap: 'null', speedUpMap: 'null', arcPageIds: 'null', contentRequests: {} }