Prove - digraph of a partial order has no cycle more than 1, Mathematics

Assignment Help:

Prove that the Digraph of a partial order has no cycle of length greater than 1.

Assume that there exists a cycle of length n ≥ 2 in the digraph of a partial order ≤ on a set A. This entails that there are n distinct elements a1 , a2 , a3 , ..., an like that a1 ≤ a2 , a2 ≤ a3 , ..., an-1 ≤ an and an ≤ a1 . Applying the transitivity n-1 times on a1 ≤ a2 , a2 ≤ a3 , ..., an-1 ≤ an , we get a1 ≤ an .As relation ≤ is anti-symmetric a1 ≤ an and an ≤ a1 together entails that a1 = an . This is contrary to the fact that all a1, a2, a3... an are distinct. So, our assumption that there is a cycle of length n ≥ 2 in the digraph of a partial order relation is wrong.

 


Related Discussions:- Prove - digraph of a partial order has no cycle more than 1

Describe adding and subtracting fractions in details, Describe Adding and S...

Describe Adding and Subtracting Fractions in details? To add or subtract fractions, here are some steps: 1. Find the lowest common denominator (LCD) or any common denominato

Class mid points and class interval or width, Class Mid points This i...

Class Mid points This is very significant values which mark the center of a provided class. They are acquired by adding together the two limits of a provided class and dividi

Lorie, A bourbon that is 51 proof is 25.5% alcohol by volume while one that...

A bourbon that is 51 proof is 25.5% alcohol by volume while one that is 82 proof is 41% alcohol. How many liters of 51 proof bourbon must be mixed with 1.0 liter of 82 proof bourbo

Determine the length of the field, A rectangular field is to be fenced in c...

A rectangular field is to be fenced in completely. The width is given as 22 yd and the total area is 990 yd 2 . Determine the length of the field? a. 31 yd b. 45 yd c. 968

Solid mensuration, given dimensions: 130cm, 180cm, and 190cm is to be divid...

given dimensions: 130cm, 180cm, and 190cm is to be divided by a line bisecting the longest side shown from its opposite vertex. what''s the area adjacent to 180cm? ;

Working definition of function, A function is an equation for which any x w...

A function is an equation for which any x which can be plugged into the equation will yield accurately one y out of the equation. There it is. i.e. the definition of functions w

Natural exponential function , Natural exponential function : There is a e...

Natural exponential function : There is a extremely important exponential function which arises naturally in several places. This function is called as the natural exponential fun

The mode -measures of central tendency, The mode - It is one of the me...

The mode - It is one of the measures of central tendency. The mode is defined as a value in a frequency distribution that has the highest frequency. Occasionally a single valu

Write Your Message!

Captcha
Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd