Refinement (sigma Algebra)
   HOME





Refinement (sigma Algebra)
Refinement may refer to: Mathematics * Equilibrium refinement, the identification of actualized equilibria in game theory * Refinement of an equivalence relation, in mathematics ** Refinement (topology), the refinement of an open cover in mathematical topology * Refinement (category theory) Other uses * Refinement (computing), computer science approaches for designing correct computer programs and enabling their formal verification * Refining, a process of purification ** Refining (metallurgy) * Refinement (culture), a quality of cultural sophistication * Refinement (horse), a racehorse ridden by jockey Tony McCoy Sir Anthony Peter McCoy (born 4 May 1974), commonly known as AP McCoy or Tony McCoy, is a Northern Irish former National Hunt horse racing jockey. Based in Ireland and Britain, McCoy rode a record 4,358 winners and was Champion Jockey a recor ...
{{disambiguation ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Equilibrium Refinement
In game theory, a solution concept is a formal rule for predicting how a game will be played. These predictions are called "solutions", and describe which strategies will be adopted by players and, therefore, the result of the game. The most commonly used solution concepts are Economic equilibrium, equilibrium concepts, most famously Nash equilibrium. Many solution concepts, for many games, will result in more than one solution. This puts any one of the solutions in doubt, so a game theorist may apply a refinement to narrow down the solutions. Each successive solution concept presented in the following improves on its predecessor by eliminating implausible equilibria in richer games. Formal definition Let \Gamma be the class of all games and, for each game G \in \Gamma, let S_G be the set of strategy profiles of G. A ''solution concept'' is an element of the direct product \Pi_2^; ''i.e''., a function F: \Gamma \rightarrow \bigcup\nolimits_ 2^ such that F(G) \subseteq S_G for al ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Equivalence Relation
In mathematics, an equivalence relation is a binary relation that is reflexive, symmetric, and transitive. The equipollence relation between line segments in geometry is a common example of an equivalence relation. A simpler example is equality. Any number a is equal to itself (reflexive). If a = b, then b = a (symmetric). If a = b and b = c, then a = c (transitive). Each equivalence relation provides a partition of the underlying set into disjoint equivalence classes. Two elements of the given set are equivalent to each other if and only if they belong to the same equivalence class. Notation Various notations are used in the literature to denote that two elements a and b of a set are equivalent with respect to an equivalence relation R; the most common are "a \sim b" and "", which are used when R is implicit, and variations of "a \sim_R b", "", or "" to specify R explicitly. Non-equivalence may be written "" or "a \not\equiv b". Definitions A binary relation \,\si ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Refinement (topology)
In mathematics, and more particularly in set theory, a cover (or covering) of a set X is a family of subsets of X whose union is all of X. More formally, if C = \lbrace U_\alpha : \alpha \in A \rbrace is an indexed family of subsets U_\alpha\subset X (indexed by the set A), then C is a cover of X if \bigcup_U_ = X. Thus the collection \lbrace U_\alpha : \alpha \in A \rbrace is a cover of X if each element of X belongs to at least one of the subsets U_. Definition Covers are commonly used in the context of topology. If the set X is a topological space, then a cover C of X is a collection of subsets \_ of X whose union is the whole space X = \bigcup_U_. In this case C is said to cover X, or that the sets U_\alpha cover X. If Y is a (topological) subspace of X, then a cover of Y is a collection of subsets C = \_ of X whose union contains Y. That is, C is a cover of Y if Y \subseteq \bigcup_U_. Here, Y may be covered with either sets in Y itself or sets in the parent spa ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Refinement (category Theory)
In category theory and related fields of mathematics, a refinement is a construction that generalizes the operations of "interior enrichment", like bornologification or saturation of a locally convex space. A dual construction is called Envelope (category theory), envelope. Definition Suppose K is a category, X an object in K, and \Gamma and \Phi two classes of morphisms in K. The definition of a refinement of X in the class \Gamma by means of the class \Phi consists of two steps. * A morphism \sigma:X'\to X in K is called an ''enrichment of the object X in the class of morphisms \Gamma by means of the class of morphisms \Phi'', if \sigma\in\Gamma, and for any morphism \varphi:B\to X from the class \Phi there exists a unique morphism \varphi':B\to X' in K such that \varphi=\sigma\circ\varphi'. * An enrichment \rho:E\to X of the object X in the class of morphisms \Gamma by means of the class of morphisms \Phi is called a ''refinement of X in \Gamma by means of \Phi'', if for ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Refinement (computing)
Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing programs to enable their formal verification. Program refinement In formal methods, program refinement is the verifiable transformation of an ''abstract'' (high-level) formal specification into a ''concrete'' (low-level) executable program. '' Stepwise refinement'' allows this process to be done in stages. Logically, refinement normally involves implication, but there can be additional complications. The progressive just-in-time preparation of the product backlog (requirements list) in agile software development approaches, such as Scrum, is also commonly described as refinement. Data refinement Data refinement is used to convert an abstract data model (in terms of sets for example) into implementable data structures (such as arrays). Operation refinement converts a specification of an operation on a system into an implementabl ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Refining
Refining is the process of purification of a (1) substance or a (2) form. The term is usually used of a natural resource that is almost in a usable form, but which is more useful in its pure form. For instance, most types of natural petroleum will burn straight from the ground, but it will burn poorly and quickly clog an engine with residues and by-products. The term is broad, and may include more drastic transformations, such as the reduction of ore to metal (for which see Refining (metallurgy)). The refining of liquids is often accomplished by distillation or fractionation; this process is useful, for example, for isolating different fractions of petroleum. Gases can be refined in this way as well, by being cooled and/or compressed until they liquefy. Gases and liquids can also be refined by extraction with a selective solvent that dissolves away either the substance of interest, or the unwanted impurities. Many solids can be refined by growing crystals in a solution o ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Refining (metallurgy)
In metallurgy, refining consists of purifying an impure metal. It is to be distinguished from other processes such as smelting and calcining in that those two involve a chemical change to the raw material, whereas in refining the final material is chemically identical to the raw material. Refining thus increases the purity of the raw material via processing. There are many processes including pyrometallurgical and hydrometallurgical techniques. Lead Cupellation One ancient process for extracting the silver from lead was cupellation. This process involved melting impure lead samples in a cupel, a small porous container designed for purification that would aid in the oxidation process, while being able to withstand the heat needed to melt these metals in a furnace. This reaction would oxidize the lead to litharge, along with any other impurities present, whereas the silver would not get oxidized. In the 18th century, the process was carried on using a kind of reverbe ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Refinement (culture)
Virtue ethics (also aretaic ethics, from Greek []) is a philosophical approach that treats virtue and moral character, character as the primary subjects of ethics, in contrast to other ethical systems that put consequences of voluntary acts, principles or rules of conduct, or obedience to divine authority in the primary role. Virtue ethics is usually contrasted with two other major approaches in ethics, consequentialism and deontology, which make the goodness of outcomes of an action (consequentialism) and the concept of moral duty (deontology) central. While virtue ethics does not necessarily deny the importance to ethics of goodness of states of affairs or of moral duties, it emphasizes virtue, and sometimes other concepts, like , to an extent that other ethics theories do not. Key concepts Virtue and vice In virtue ethics, a virtue is a characteristic disposition to think, feel, and act well in some domain of life. In contrast, a vice is a characteristic disposition to thin ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Refinement (horse)
Refinement may refer to: Mathematics * Equilibrium refinement, the identification of actualized equilibria in game theory * Refinement of an equivalence relation, in mathematics ** Refinement (topology), the refinement of an open cover in mathematical topology * Refinement (category theory) Other uses * Refinement (computing), computer science approaches for designing correct computer programs and enabling their formal verification * Refining, a process of purification ** Refining (metallurgy) * Refinement (culture), a quality of cultural sophistication * Refinement (horse), a racehorse ridden by jockey Tony McCoy Sir Anthony Peter McCoy (born 4 May 1974), commonly known as AP McCoy or Tony McCoy, is a Northern Irish former National Hunt horse racing jockey. Based in Ireland and Britain, McCoy rode a record 4,358 winners and was Champion Jockey a recor ...
{{disambiguation ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]