Determining if logical matrix represents a partial order

  • Context: Graduate 
  • Thread starter Thread starter sciencectn
  • Start date Start date
  • Tags Tags
    Matrix Partial
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 4K views
sciencectn
Messages
10
Reaction score
0
If we represent a relation using a logical matrix (so that if (a,b) is present in the relation then the element at row a and column b in the matrix is a 1), is there any way to determine that this matrix represents a partial order using matrix operations?

For example, if we have the relation {(1,1),(2,2),(3,3),(1,2)} represented by this matrix:

[tex] \left( \begin{array}{ccc}<br /> 1 & 1 & 0 \\<br /> 0 & 1 & 0 \\<br /> 0 & 0 & 1 \end{array} \right)[/tex]

Is there some way, using matrix operations, to determine if this represents a partial order?
 
Last edited by a moderator:
Physics news on Phys.org
Actually, yes. This is a convenient way. For instance, see Mathematics of Fuzziness -- Basic Issues by Xuzhu Wang, Da Raun and Etienne E. Kerre.