My Math Forum monotonic laws for ordinal subtraction

 Abstract Algebra Abstract Algebra Math Forum

 May 2nd, 2015, 01:14 AM #1 Member   Joined: Jan 2010 Posts: 44 Thanks: 0 monotonic laws for ordinal subtraction I have to prove some monotonic laws for ordinals. It's quite comfortable for me to show monotonic laws of ordinal addition (e.g. $\beta\leq\gamma\Rightarrow\alpha+\beta\leq\alpha+ \gamma$). But when it comes to laws with subtraction, then I'm not sure where to start. Maybe it's because of definition of subtraction for ordinals $\alpha-\beta=\gamma$, if $\alpha=\beta+\gamma$, which is not constructive. So, maybe someone can give me a hint on how to prove those: $\alpha,\beta,\gamma$ - ordinals. (i) $\alpha>\beta\Rightarrow \gamma(\alpha-\beta)=\gamma\alpha-\gamma\beta$ (ii)$\alpha>\beta>\gamma \Rightarrow \alpha-\gamma>\beta-\gamma$
 May 2nd, 2015, 04:40 AM #2 Math Team   Joined: Dec 2013 From: Colombia Posts: 7,654 Thanks: 2632 Math Focus: Mainly analysis and algebra Well you can always use $p \gt q \implies p \lt (-q)$ and $p - q = p + (-q)$.
 May 4th, 2015, 09:17 AM #3 Member   Joined: Jan 2010 Posts: 44 Thanks: 0 I haven't seen $\displaystyle -q$ defined for an ordinal $\displaystyle q$...

 Tags laws, monotonic, ordinal, subtraction

 Thread Tools Display Modes Linear Mode

 Similar Threads Thread Thread Starter Forum Replies Last Post ZardoZ Calculus 3 August 31st, 2011 08:36 AM SysInv Advanced Statistics 1 October 25th, 2010 02:41 PM xianghu21 Applied Math 4 April 8th, 2010 12:35 PM riemann Applied Math 1 November 27th, 2008 03:00 PM thaithuan_GC Algebra 0 September 27th, 2008 01:31 AM

 Contact - Home - Forums - Cryptocurrency Forum - Top