বিনিময় বৈশিষ্ট্য-এর উৎস দেখুন

[[File:Commutativity of binary operations (without question mark).svg|thumb|কোন অপারেশান <math>\circ</math> তখনই বিনিময় হিসেবে সত্য হবে [[If and only if|যদি এবং কেবল যদি]] প্রত্যেক <math>x</math> ও <math>y</math> এর জন্য <math>x\circ y = y \circ x</math> সম্পর্কটি সত্য হয়। কোন "গণনাযন্ত্র" হিসাব করার সময় যে এই ধারনাটি ব্যবহার করে থাকে তা ছবিতে বর্ণিত হয়েছে। গণনার ফল পাওয়ার ক্ষেত্রের এটা কোন বেপার না যে সেটি <math>x\circ y</math> না <math>y \circ x</math> লেখা হয়েছে, এখানে <math>x</math> ও <math>y</math> এর মান যাই দেয়া হক না কেন ফল একই আসবে।]]

[[mathematics|গণিতবিদ্যায়]], কোন [[binary operation|বাইনারি অপারেশানকে]] তখনই '''বিনিময়''' বলা হবে যখন তার [[অপারেন্ড|অপারেন্ডগুলোর]] জায়গা পরিবর্তনের কারণে ফল এর কোন পরিবর্তন হবে না। এটি অনেক বাইনারি অপেরাশন এর প্রাথমিক ভিত্তি বৈশিষ্ট্য এবং অনেক [[গাণিতিক প্রমাণ]] এর উপর নির্ভর করে। সর্বাধিক পরিচিত বিশিষ্টের  যা এই নামের মধ্যে বলা হয়েছেঃ {{nowrap|1="৩ + ৪ = ৪ + ৩"}} বা {{nowrap|1="২ × ৫ = ৫ × ২"}}, এছাড়াও এই বিশিষ্টটি আরও বড় কোন গাণিতিক সমস্যা সমাধানে ব্যবহার করা যেতে পারে। এই নামটি দরকার ছিল কারণ আরও অনেক অপেরাশন আছে  যেমন [[division (mathematics)|ভাগ]] ও [[subtraction|বিয়োগ]], যাদের এই বিশিষ্টটি নাই, এই অপেরাশনগুলো বিনিময় যোগ্য ''না।'' তাই এদের ''অবিনিময় যোগ্য অপেরাশন'' বলা হয়। অপেরাশনের সাধারণ ধারণা যেমন কোন সংখ্যার [[গুণ (গণিত)|গুণ]] ও [[addition|যোগ]] হল বিনিময়যোগ্য এবং অনেক বছর আগ থেকেই এই ধারনার প্রয়োগ রয়েছে। যদিও এই ১৯ শতকের আগ পর্যন্ত এর ধারনার কোন নাম ছিলোনা, যখন গণিতবিদ্যাকে বিধিবদ্ধ করা শুরু হয়েছিল।<ref name="ReferenceA" /><ref name=":0" /> বাইনারি সম্পর্কগুলোর মধ্যে অনুরুপ সম্পর্ক বিদ্যমান; একটি [[binary relation|বাইনারি সম্পর্ককে]] [[symmetric relation|সদৃশ]] বলা হবে তখনই যখন তা অপারেন্ড এর ক্রমকে অগ্রাহ্য করবে। উদাহরণস্বরূপ, [[সমতা]] হল সেটাই যাতে দুটি সদৃশ গাণিতিক বস্তুর ক্রমকে অগ্রাহ্য করা হয়। <ref>{{MathWorld|id=SymmetricRelation|title=Symmetric Relation}}</ref>

==সাধারণ ব্যবহার== 
বিনিময় বৈশিষ্ট্য এমন একটি বৈশিষ্ট্য যা সাধারনত বাইনারি অপেরাশন ও [[Function (mathematics)|ফাংশন]]সমূহের সাথে সম্পর্কযুক্ত। যদি কোন বাইনারি অপেরাশন একজড়া উপাদানকে বিনিময় বৈশিষ্ট্য হিসেবে ধরা হয় তবে ওই জোড়া উপাদানকে বিনিময় করতে বলা হয়।

==গাণিতিক সংজ্ঞা== 
{{Further|Symmetric function}}

বিনিময় শব্দটি বিভিন্ন সংশ্লিষ্ট অর্থে ব্যবহার হয়। <ref name="Krowne, p.1">Krowne, p.1</ref><ref>Weisstein, ''Commute'', p.1</ref>

{{ordered list|1=

একটি [[Set (mathematics)|সেট]] ''S'' এর মধ্যে একটি বাইনারি অপেরাশন <math>*</math> কে বিনিময় বলা হবে যদিঃ

:<math>x * y = y * x\qquad</math> সব <math> x,y\in S</math> এর জন্য সত্য হয়

যে সব অপেরাশন উপরের বৈশিষ্ট্য ধারণ করে না তাদের বলা হয় ''অবিনিময়'',

|2=

কেউ বলে যে ''x'' কে ''y'' এর সাথে বিনিময় করা যাবে যদিঃ

:<math> x * y = y * x </math>

|3=

একটি [[binary function|বাইনারি ফাংশন]]:  <math>f \colon A \times A \to B</math> কে বিনিময় বলা হবে যদিঃ

:<math>f(x, y) = f(y, x)\qquad</math> সব <math> x,y\in S</math> এর জন্য সত্য হয়

}}

== উদাহরণসমূহ == 
=== দৈনন্দিন জীবনে বিনিময় বিশিষ্টের ব্যবহার === 
[[File:Commutative Addition.svg|thumb|এই আপেলের ক্ষেত্রে বিনিময় বৈশিষ্ট্য, সাধারণ সংখ্যার যোগফল হিসাবে আমরা যে দিক থেকে দেখি না কেন, এটি বিনিময়যোগ্য]] 
  
* বিনিময় বৈশিষ্ট্য অনেকটা মোজা পড়ার মত, যেহেতু কোন মোজাটি আগে পড়ব সেটা গুরুত্বপূর্ণ না। যেভাবেই হোক, ফলটি (উভয় মোজা পরে থাকার মত), একই হবে। বিপরীতভাবে, আন্ডারওয়্যার এবং ট্রাউজার্স পড়ে থাকা কিন্তু বিনিময় নয়। 
* আমরা যখন কোন বস্তু ক্রয় করি তখন তার দাম দিতে গিয়ে বিনিময় বৈশিষ্ট্য পরিলক্ষিত হয়। সেখানে এটা কোন বেপার না যে কোন জিনিসের দাম তা আগে দিচ্ছি, মোট দাম সব সময় একই হবে।

=== গণিতে বিনিময় বিশিষ্টের ব্যবহার ===

[[File:Vector Addition.svg|thumb|ভেক্টরের যোগফল বিনিময়যোগ্য, কারণ, <math>\vec a+\vec b=\vec b+ \vec a</math>.]]

বাইনারি অপেরাশনে বিনিময়ের দুটি চিরাচরিত উদাহরণ হলঃ

* [[Real number|বাস্তব সংখ্যা]]র যোগফল বিনিময়যোগ্য, যদি

::<math>y + z = z + y \qquad</math> সব <math>y,z\in \mathbb{R}</math> এর জন্য সত্য হয়।

উদাহরণস্বরূপ, ৫ + ৪ = ৪ + ৫, উভয় [[Expression (mathematics)|রাশি]]র যোগফল সমান ৯

  
* বাস্তব সংখ্যার [[multiplication|গুনফল]] বিনিময়যোগ্য, যদি

::<math>yz = zy \qquad</math> সব <math>y,z\in \mathbb{R}</math> এর জন্য সত্য হয়।

উদাহরণস্বরূপ, ৫ x ৪ = ৪ x ৫, উভয় রাশির গুনফল সমান ১৫

* কিছু বাইনারি [[truth function|ট্রুথ ফাংশন]]ও বিনিময়যোগ্য, যেহেতু অপেরান্ডের ক্রম পরিবর্তন হলেও [[truth table|ট্রুথ টেবিলে]] ফাংশনের কোন পরিবর্তন হয় না।

উদাহরণস্বরূপ, [[logical biconditional|যৌক্তিক দ্বিশর্তাধীন]] ফাংশন p ↔ q, q ↔ p এর সমতুল্য। এই ফাংশনটিকে অন্যভাবেও লেখা যায়, যেমন, p [[If and only if|IFF]] q বা p ≡ q, অথবা Epq

* সর্বশেষ উদাহরণটি হল ট্রুথ ফাংশন থেকে নেয়া সবচেয়ে সংক্ষিপ্ত নোটেশন, সেটি হল ষোলটি সম্ভাব্য বাইনারি ট্রুথ ফাংশনের মধ্যে আটটিই হল বিনিময়জজ্ঞঃ V''pq'' = V''qp''; A''pq'' (OR) = A''qp''; D''pq'' (NAND) = D''qp''; E''pq'' (IFF) = E''qp''; J''pq'' = J''qp''; K''pq'' (AND) = K''qp''; X''pq'' (NOR) = X''qp''; O''pq'' = O''qp''
* বাইনারি ফাংশনের বিনিময় বিশিষ্টের যোগফল ও গুনফলসহ আপর উদাহরণগুলো হল [[Complex number|জটিল সংখ্যা]], যোগফল এবং [[vector space|ভেক্টরের]] [[scalar product|স্কেলার গুণন]], [[Set (mathematics)|সেটের]] [[intersection (set theory)|ছেদ]] এবং [[union (set theory)|মিলন]]।

===দৈনন্দিন জীবনে অবিনিময় বিশিষ্টের ব্যবহার=== 
* [[Concatenation|একত্রীকরণ]], যা স্ট্রিং ক্যারেক্টার কে জোড়া দেওয়ার কাজ করে, এটি একটি অবিনিময় বৈশিষ্ট্য। উদাহরণস্বরূপ,

:<math>EA + T = EAT \neq TEA = T + EA</math>

* কাপড় ধয়া ও শুকানো অবিনিময় বৈশিষ্ট্যের সদৃশ। আগে কাপড় ধোয়া ও পড়ে শুকানো যে ফল দেয়, আগে কাপড় শুকানো ও পড়ে ধোয়া বিপরীত বা অন্য ফল দেয়।
* কোন একটি বইকে তার লম্ব অক্ষের সাপেক্ষে ৯০° ঘুরিয়ে আবার তার ভুমির সাপেক্ষে ৯০° ঘুরালে যে ফল পাওয়া যাবে, তার বিপরীত ক্রমে যদি এই কাজটি করা হয় একই ফল আসবে না। 
* [[Rubik's Cubeরুবিক্স কিউব]] ঘুরানোও অবিনিময়। এটিকে [[Group theory|গ্রুপ তত্ত্ব]] ব্যবহার  করা যেতে পারে।
* চিন্তার প্রক্রিয়াগুলি অবিনিময়যোগ্য: কোন একজন মানুষকে যদি প্রশ্ন (A) করার পর প্রশ্ন (B) করলে যে উত্তর দিবে, তাকে যদি প্রশ্ন (B) করার পর প্রশ্ন (A) করা হয় তার উত্তরে পরিবর্তন আসবে, কারণ প্রশ্ন জিজ্ঞাসা তার মধ্যে মনস্তাত্ত্বিক পরিবর্তন আনতে পারে।

=== গণিতে অবিনিময় বিশিষ্টের ব্যবহার === 
কিছু অবিনিময়যোগ্য বাইনারি অপেরাশনঃ <ref>Yark, p.1.</ref>

==== বিয়োগ ও ভাগ ====

[[Subtraction|বিয়োগ]] হল অবিনিময় বৈশিষ্ট্য, যেহেতু, <math>0 - 1 \neq 1 - 0</math>

[[Division (mathematics)|ভাগ]] হল অবিনিময় বৈশিষ্ট্য, যেহেতু, <math>1 \div 2 \neq 2 \div 1</math>

==== ট্রুথ ফাংশনসমূহ ====

কিছু বাইনারি [[truth function|ট্রুথ ফাংশন]]ও অবিনিময়যোগ্য, যেহেতু অপেরান্ডের ক্রম পরিবর্তন হলে ট্রুথ টেবিলে ফাংশনের পরিবর্তন হয়। উদাহরণস্বরূপ, ''f'' (A, B) {{=}} A Λ ¬B (A AND NOT B) এবং ''f'' (B, A) {{=}} B Λ ¬A এর ট্রুথ টেবিল হলঃ

:{{aligned table

| class=wikitable

| style=text-align:center; width:20%;

| cols=4

| col3style=width:30%;

| col4style=width:30%;

| row1header=yes

| A | B | ''f''&nbsp;(A, B) | ''f''&nbsp;(B, A)

| F | F | F | F

| F | T | F | T

| T | F | T | F

| T | T | F | F

}}

আটটি অবিনিময়যোগ্য ফাংশনের জন্য, B''qp'' = C''pq''; M''qp'' = L''pq''; C''qp'' = B''pq''; L''qp'' = M''pq''; F''qp'' = G''pq''; I''qp'' = H''pq''; G''qp'' = F''pq''; H''qp'' = I''pq''.<ref>[[Jozef Maria Bochenski]] (1959), ''Precis of [[Mathematical Logic]]'', rev., Albert Menne, ed. and trans., Otto Bird, New York:  Gordon and Breach, Part II, Sec. 3.32, "16 dyadic truth functors", ([[truth tables]]), p. 11.</ref>

==== ম্যাট্রিক্সের গুণ ==== 
[[Matrix (mathematics)|ম্যাট্রিক্সের]] গুণন প্রায় সব সময় অবিনিময়যোগ্য। উদাহরণস্বরূপঃ

:<math>

  \begin{bmatrix}

    0 & 2 \\

    0 & 1

  \end{bmatrix} =

  \begin{bmatrix}

    1 & 1 \\

    0 & 1

  \end{bmatrix} \cdot

  \begin{bmatrix}

    0 & 1 \\

    0 & 1

  \end{bmatrix} \neq

  \begin{bmatrix}

    0 & 1 \\

    0 & 1

  \end{bmatrix} \cdot

  \begin{bmatrix}

    1 & 1 \\

    0 & 1

  \end{bmatrix} =

  \begin{bmatrix}

    0 & 1 \\

    0 & 1

  \end{bmatrix}

</math>

==== ভেক্টর গুণন ====

ত্রিমাত্রিকভাবে যে কোন দুটি ভেক্টর গুণন (বা [[cross product|ক্রস গুণন]]) হল [[Anticommutativity|বিপরীত-বিনিময়যোগ্যঃ]] তার মানে, ''b'' × ''a'' =  −(''a'' × ''b'')

== ইতিহাস ও ব্যাকরণ == 
[[File:Commutative Word Origin.PNG|right|thumb|250px|প্রথম এই শব্দটি ব্যবহার করা হয় একটি ফরাসি গবেষণা সাময়িকীতে জার্নালে, যা প্রকাশিত হয় ১৮১৪ সালে]]
আদিকাল থেকে বিনিময় বৈশিষ্ট্যের ব্যবহারের নমুনা পাওয়া যায়। [[Egypt|মিশরীয়রা]] [[Product (mathematics)|গুনফল]] বের করার ক্ষেত্রে [[Multiplication|গুণন]]কে সহজিকরন করার জন্য বিনিময় বৈশিষ্ট্যের ব্যবহার করত।<ref>Lumpkin, p.11</ref><ref>Gay and Shute, p.?</ref> [[Euclid|ইউক্লিড]] গুণনের ব্যবহার সম্পর্কে জানত বলে তার বই [[Euclid's Elements|''এলিমেন্টস'']] থেকে ধারণা পাওয়া যায়।<ref>O'Conner and Robertson, ''Real Numbers''</ref> বিনিময় বৈশিষ্ট্যের আনুষ্ঠানিক ব্যবহার ১৮ শতকের শেষ ও ১৯ শতকের শুরুর দিক থেকে আরম্ভ হয়। তার পর থেকে গণিতবিদরা এই ফাংশনের তত্ত্ব নিয়ে কাজ শুরু করেন। বর্তমানে বিনিময় বৈশিষ্ট্য অতিপরিচিত ও গণিতবিদ্যার বিভিন্ন শাখার ভিত্তি হিসেবে ব্যবহার করা হয়।

বিনিময় শব্দটি প্রথম পাওয়া যায় ১৮১৪ সালে [[François-Joseph Servois|ফ্রাঙ্কো সারভইস]] এর একটি আত্মজীবনীতে। <ref name="ReferenceA">Cabillón and Miller, ''Commutative and Distributive''</ref><ref>O'Conner and Robertson, ''Servois''</ref> সেই সময় তিনি যে ফাংশনটির জন্য বিনিময় শব্দটি ব্যবহার করেছিলেন সেটিই এখন নিনিময় ফাংশন নামে পরিচিত। শব্দটি দুটি ফরাসি শব্দ থেকে এসেছে, একটি হল ''কোম্যুতে'' যার অর্থ "প্রতিষ্ঠাপিত করা বা স্থান পরিবর্তন" এবং এর বিভক্তি হিসেফবে আছে ''আতিভ'' যার অর্থ "কোন কিছু করার প্রবণতা" অতএব এদের মিলিত অর্থ হল "প্রতিস্থাপন বা স্থান পরিবর্তনের প্রবণতা"। ১৮৩৮ সালে এই শব্দটি ইংরেজিতে যুক্ত হয়,<ref name=":0">{{বই উদ্ধৃতি|শিরোনাম=Mathematics in Victorian Britain|সম্পাদক১-প্রথমাংশ=Raymond|সম্পাদক১-শেষাংশ=Flood|সম্পাদক২-প্রথমাংশ=Adrian|সম্পাদক২-শেষাংশ=Rice|সম্পাদক৩-প্রথমাংশ=Robin|সম্পাদক৩-শেষাংশ=Wilson|সম্পাদক৩-সংযোগ=Robin Wilson (mathematician)|প্রকাশক=[[Oxford University Press]]|বছর=2011|ইউআরএল=https://books.google.com/books?id=YruifIx88AQC&pg=PA4|পাতা=4}}</ref> [[Royal Society of Edinburgh|ট্রাঞ্জেকশন অফ দা রয়্যাল সোসাইটি অফ এডিনবার্গ]],  [[Duncan Farquharson Gregory|ডুঙ্কান ফ্রাকুহারসন গ্রিজোরি]]  নিবন্ধটিকে "অন দা রিয়াল ন্যাচার অফ সিম্বোলিক অ্যালজেব্রা" নামে ১৮৪০ সালে প্রকাশিত করার সময় এটি ব্যবহার করে।<ref>{{সাময়িকী উদ্ধৃতি|লেখক=D. F. Gregory|শিরোনাম=On the real nature of symbolical algebra|সাময়িকপত্র=Transactions of the Royal Society of Edinburgh|খণ্ড=14|পাতাসমূহ=208–216|বছর=1840|ইউআরএল=https://archive.org/details/transactionsofro14royal}}</ref>

== প্রস্তাবিত যুক্তি == 
=== প্রতিস্থাপন নিয়ম ===

ট্রুথ-ফাংশনের প্রস্তাবিত যুক্তি হল, ''বিনিময়''<ref>Moore and Parker</ref><ref>{{বই উদ্ধৃতি |শেষাংশ=Copi |প্রথমাংশ=Irving M. |শেষাংশ২=Cohen |প্রথমাংশ২=Carl |শিরোনাম=Introduction to Logic |ইউআরএল=https://archive.org/details/isbn_9780536179364 |প্রকাশক=Prentice Hall |বছর=2005}}</ref> বা ''বিনিময় যোগ্যতা''<ref>{{বই উদ্ধৃতি |শিরোনাম=A Concise Introduction to Logic 4th edition |ইউআরএল=https://archive.org/details/studyguidetoacco00burc |শেষাংশ=Hurley |প্রথমাংশ=Patrick  |coauthors= |বছর=1991 |প্রকাশক=Wadsworth Publishing }}</ref> দুটি [[validity|গ্রহণযোগ্য]] [[rule of replacement|প্রতিস্থাপন নিয়ম]]কে বোঝায়। এই নিয়মগুলো [[formal proof|যুক্তিগত প্রমানের]] ক্ষেত্রে [[well-formed formula|যুক্তিগত রাশি]]র মধ্যে সমতুল্য চলকদের পক্ষান্তরিত করার অনুমতি দেয়। নিয়ম গুলো হলঃ

:<math>(P \lor Q) \Leftrightarrow (Q \lor P)</math>

এবং

:<math>(P \land Q) \Leftrightarrow (Q \land P)</math>

যেখানে "<math>\Leftrightarrow</math>" হল একটি [[metalogic|মেটালজিক্যাল]] [[Symbol (formal)|সিম্বল]] যা "যা কোন [[Formal proof|প্রমানের]] প্রতিস্থাপনকে" প্রতিনিধিত্ব করে।

===সত্য কার্যকরী সংযোগ===

''বিনিময় যোগ্যতা'' হল ট্রুথ ফাংশনের [[propositional logic|সমতুল্য যুক্তি]]র কিছু [[logical connective|যুক্তিগত সংযোজন]]। নিচের [[logical equivalence|যুক্তিগত সাম্যতা]]গুলো যা প্রদর্শন করে তা হল বিনিময় যোগ্যতার নির্দিষ্ট সংযোগকারীর জন্য কিছু বৈশিষ্ট্যঃ

;সংযোগের বিনিময় যোগ্যতা:<math>(P \land Q) \leftrightarrow (Q \land P)</math>

;বিস্লেশের বিনিময় যোগ্যতা:<math>(P \lor Q) \leftrightarrow (Q \lor P)</math>

;সংশ্লেষের বিনিময় যোগ্যতা (বিন্যাস আইনও বলা হয় ):<math>(P \to (Q \to R)) \leftrightarrow (Q \to (P \to R))</math>

;সমানতার বিনিময় যোগ্যতা ( সম্পূর্ণ বিনিময়ের সমানতার আইন বলা হয়):<math>(P \leftrightarrow Q) \leftrightarrow (Q \leftrightarrow P)</math>

== সেট তত্ত্ব == 
[[group theory|গ্রুপ]] বা [[set theory|সেট]] তত্ত্বে, অনেক বীজগাণিতিক কাঠামোকে বিনিময় যোগ্য বলা হয়, যখন কোন নির্দিষ্ট অপেরান্ড বিনিময় বৈশিষ্ট্য প্রকাশ করে। গণিতবিদ্যার উচু শাখাগুল, যেমন [[Mathematical analysis|বিশ্লেষণ]] এবং [[Linear algebraরৈখিক বীজগণিতে]] বিনিময় যোগ্যতা সুপরিচিত অপারেশনগুলোর (যেমন বাস্তব ও জটিল সংখ্যার যোগ এবং গুণন) প্রমাণের জন্য প্রায়শই ব্যবহার করা হয় বা (বা নিখুঁতভাবে অনুমান করা হয়)।<ref>Axler, p.2</ref><ref name="Gallian, p.34">Gallian, p.34</ref><ref>p. 26,87</ref> 
  
== গাণিতিক কাঠামো এবং বিনিময়যোগ্যতা == 
* কোন [[commutative semigroup|বিনিময় যোগ্য উপদল]] হল মোট, [[associativity|সহচরী]] ও বিনিময় বৈশিষ্ট্য সম্পন্ন একটি সুশৃঙ্খল সেট।  
* যদি কোন অপারেশনে একটি অতিরিক্ত [[identity element|সমানতা উপাদান]] থাকে, তবে আমাদের একটি [[commutative monoid|বিনিময় যোগ্য মনোআইডি]] আছে।  
* একটি [[abelian group|এবিলিয়ান দল]] বা বিনিময়যোগ্য দল হল একটি [[group (mathematics)|দল]] যার দলগত অপেরাশন হল বিনিময়যোগ্য।<ref name="Gallian, p.34"/> 
* একটি [[commutative ring|বিনিময় চক্র]] হল এমন একটি [[ring (mathematics)|চক্র]] যার [[multiplication|গুণন]] হল বিনিময়যোগ্য (কোন চক্রের সংযোজনও বিনিময়যোগ্য)।<ref>Gallian p.236</ref> 
* কোন একটি [[field (mathematics)|ক্ষেত্র]]তে যোগ ও গুণ হল  বিনিময়যোগ্য।<ref>Gallian p.250</ref>

== সংশ্লিষ্ট বৈশিষ্ট্য == 
=== যৌথতা === 
{{মূল নিবন্ধ|যৌথতা বৈশিষ্ট্য}}

যৌথতা বৈশিষ্ট্যটি বিনিময় বিশিষ্টের সাথে ঘনিষ্ঠ ভাবে সম্পর্কিত। কোন একটি এক্সপ্রেশনের যৌথতা বৈশিষ্ট্য হল কোন অপেরাটরের একই অবস্থানে দুই বা ততোধিক ঘটনা যার অপেরাশনের ক্রম তার ফলকে প্রভাবিত করে না, যতক্ষণ পর্যন্ত না তাদের পদের ক্রমের পরিবর্তন হয়। অপরদিকে বিনিময় বিশিষ্টের ক্ষেত্রে পদের ক্রমের পরিবর্তন ফলকে প্রভাবিত করে না।

দৈনন্দিন জীবনে যে সব বিনিময় বৈশিষ্ট্য ব্যবহার করা হয় তার বেশির ভাগই যৌথতা। কিন্তু বিনিময়যোগ্যতা পরোক্ষভাবে যৌথতা নয়। তার একটি বিপরিত-উদাহরণ হল একটি ফাংশন
:<math>f(x, y) = \frac{x + y}{2},</math>

যা পরিষ্কারভাবে বিনিময় যোগ্য (''x'' ও ''y'' এর স্থান পরিবর্তনে ফলের মধ্যে কোন আসবে না), কিন্তু এটি যৌথতাযোগ্য নয় (যেহেতু, উদাহরণস্বরূপ, <math>f(-4, f(0, +4)) = -1</math> but <math>f(f(-4, 0), +4) = +1</math> ) 
  
[[commutative non-associative magmas|কমুটেটিভে নন-এসোসিয়েটিভ মাগমস]] এ ধরনের আরও উদাহরণ খুজে পাওয়া যেতে পারে।

=== বিভাজক ===

{{মূল নিবন্ধ|বিভাজক বৈশিষ্ট্য}}

=== প্রতিসাম্যতা === 
[[File:Symmetry Of Addition.svg|right|thumb|200px|গ্রাফ, যেখানে সংযোজন ফাংশনের প্রতিসাম্যতা দ্যাখা যাচ্ছে]]
{{মূল নিবন্ধ|Symmetry in mathematics}}

কিছু প্রতিসাম্যতা সরাসরি বিনিময়যোগ্য। যখন কোন বিনিময়যোগ্য অপেরাটরকে বাইনারি ফাংশনে লেখা হয় তখন যে ফাংশনটি পাওয়া যায় তা ''y = x'' লাইনটি মেনে চলে। ধরি, যদি ''f'' একটি সংযোজন ফাংশন (একটি বিনিময়যোগ্য অপেরাশন) ''f''(''x'',''y'') = ''x'' + ''y'' হয়, তবে ''f'' একটি প্রতিসাম্য ফাংশন। যা ডানপাশের ছবিটিতে দ্যাখা যাচ্ছে।

সম্পর্কের ক্ষেত্রে, প্রতিসাম্যতার সম্পর্ক অনেকটা বিনিময় অপেরাশনের মত। এখানে যদি ''R'' এর সম্পর্কটি প্রতিসাম্য হয় তবে, <math>a R b \Leftrightarrow b R a</math>

== কোয়ান্টাম ম্যাকানিক্সে অহিসাবযোগ্য অপারেটরসমূহ == 
{{মূল নিবন্ধ|Canonical commutation relation}}

[[Erwin Schrödinger|স্রডিঞ্জার]] এর প্রতিয়মান করা [[Introduction to quantum mechanics|কোয়ান্টাম ম্যাকানিক্সে]], বাস্তব চলককে [[linear operators|লিনিয়ার অপেরাটর]] দ্বারা প্রকাশ করা হয়, যেমন, ''x'' (''x'' দ্বারা গুণ) এবং <math>\frac{d}{dx}</math>। <math>x \frac{d}{dx}</math> and <math>\frac{d}{dx} x</math> (এদের গুণন অপেরাটর বলে) এর [[Function composition|সংযোজন]]কে বিবেচনা করলে একমাত্রিক [[wave function|তরঙ্গ ফাংশন]] <math>\psi(x)</math>: এর  মধ্যে এই দুটি অপেরাটরকে যেভাবে দেখা যাচ্ছে সেভাবে বিনিময় করা যাবে নাঃ

::<math> x{d\over dx}\psi = x\psi' \neq {d\over dx}x\psi = \psi + x\psi' </math>

[[Werner Heisenberg|হেইজেরবারগ]] এর [[uncertainty principle|অনিশ্চয়তা নীতি]] অনুসারে, যদি দুটি অপেরাটরকে একজোড়া চলক দ্বারা প্রকাশ করা হয় যা বিনিময় করা যায় না, তবে চলক জোড়া পরস্পর পরস্পরের [[complementarity (physics)|পরিপূরক]]। তার মানে হল, তাদের মান একসাথে বের করা যাবে না এবং তা নিখুঁতভাবে জানা যাবে না। উদাহরণস্বরূপ, কোন একটি কণার X অক্ষে অবস্থান ও রৈখিক ভরবেগ যথাক্রমে <math>x</math> ও <math>-i \hbar \frac{\partial}{\partial x}</math> দ্বারা প্রকাশ করা হয় (এখানে <math>\hbar</math> হল সংখিপ্ত প্লাঙ্ক ধ্রুবক)। এই উদাহরণটি  <math>-i \hbar</math> বাদে বাকীদের জন্য প্রযোজ্য, তার যদি অপেরাটরটি বিনিময় করা না যায় এবং তার বাস্তব অর্থ হল যেকোনো দিকে তার অবস্থান ও রৈখিক [[momentum|ভরবেগ]] পরস্পর পরস্পরের পরিপূরক।

== টীকা == 
{{সূত্র তালিকা|2}}

== তথ্যসূত্র == 
{{সূত্র তালিকা}}
{{Wiktionary}}

=== বইসমূহ === 
*{{বই উদ্ধৃতি| প্রথমাংশ=Sheldon | শেষাংশ=Axler | শিরোনাম=Linear Algebra Done Right, 2e | প্রকাশক=Springer | বছর=1997 | আইএসবিএন=0-387-98258-2}} 
:''Abstract algebra theory.  Covers commutativity in that context.  Uses property throughout book. 
*{{বই উদ্ধৃতি |সূত্র=harv |শেষাংশ=Copi |প্রথমাংশ=Irving M. |শেষাংশ২=Cohen |প্রথমাংশ২=Carl |শিরোনাম=Introduction to Logic |ইউআরএল=https://archive.org/details/isbn_9780536179364 |প্রকাশক=Prentice Hall |বছর=2005}} 
*{{বই উদ্ধৃতি|প্রথমাংশ=Joseph|শেষাংশ=Gallian|শিরোনাম=Contemporary Abstract Algebra, 6e|ইউআরএল=https://archive.org/details/contemporaryabst0000gall|বছর=2006|আইএসবিএন=0-618-51471-6|প্রকাশক=Houghton Mifflin|অবস্থান=Boston, Mass.}} 
:''Linear algebra theory.  Explains commutativity in chapter 1, uses it throughout.'' 
*{{বই উদ্ধৃতি| প্রথমাংশ=Frederick | শেষাংশ=Goodman | শিরোনাম=Algebra: Abstract and Concrete, Stressing Symmetry, 2e | ইউআরএল=https://archive.org/details/algebraabstractc0000good_c6k2 | প্রকাশক=Prentice Hall | বছর=2003 | আইএসবিএন=0-13-067342-0}} 
:''Abstract algebra theory.  Uses commutativity property throughout book. 
*{{বই উদ্ধৃতি |শিরোনাম=A Concise Introduction to Logic 4th edition |শেষাংশ=Hurley |প্রথমাংশ=Patrick  |coauthors= |বছর=1991 |প্রকাশক=Wadsworth Publishing }}

=== নিবন্ধ === 
*https://web.archive.org/web/20070713072942/http://www.ethnomath.org/resources/lumpkin1997.pdf Lumpkin, B. (1997). The Mathematical Legacy Of Ancient Egypt - A Response To Robert Palter. Unpublished manuscript. 
:''Article describing the mathematical ability of ancient civilizations.'' 
*Robins, R. Gay, and Charles C. D. Shute. 1987. ''The Rhind Mathematical Papyrus: An Ancient Egyptian Text''. London: British Museum Publications Limited. {{isbn|0-7141-0944-4}} 
:''Translation and interpretation of the [[Rhind Mathematical Papyrus]].''

===অনলাইন সম্পদসমূহ === 
*{{springer|title=Commutativity|id=p/c023420|ref=none}} 
*Krowne, Aaron, {{PlanetMath|title=Commutative|urlname=Commutative}}, Accessed 8 August 2007. 
:''Definition of commutativity and examples of commutative operations'' 
*{{MathWorld|title=Commute|urlname=Commute}}, Accessed 8 August 2007. 
:''Explanation of the term commute'' 
*[http://planetmath.org/?op=getuser&id=2760 Yark]. {{PlanetMath|title=Examples of non-commutative operations|urlname=ExampleOfCommutative}}, Accessed 8 August 2007 
:''Examples proving some noncommutative operations'' 
*O'Conner, J J and Robertson, E F. [http://www-history.mcs.st-andrews.ac.uk/HistTopics/Real_numbers_1.html MacTutor history of real numbers], Accessed 8 August 2007 
:''Article giving the history of the real numbers'' 
*Cabillón, Julio and Miller, Jeff. [http://jeff560.tripod.com/c.html Earliest Known Uses Of Mathematical Terms], Accessed 22 November 2008 
:''Page covering the earliest uses of mathematical terms'' 
*O'Conner, J J and Robertson, E F. [http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Servois.html MacTutor biography of François Servois] {{ওয়েব আর্কাইভ|ইউআরএল=https://web.archive.org/web/20090902063524/http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Servois.html |তারিখ=২ সেপ্টেম্বর ২০০৯ }}, Accessed 8 August 2007 
:''Biography of Francois Servois, who first used the term''

[[বিষয়শ্রেণী:প্রতিসাম্য]]
[[বিষয়শ্রেণী:বীজগণিত]]
[[বিষয়শ্রেণী:প্রাথমিক বীজগণিত]]
[[বিষয়শ্রেণী:পদার্থবিজ্ঞানের ধারণা]]
[[বিষয়শ্রেণী:ফাংশন বিশ্লেষণ]]