Product Pre-Measure

In this article we formalize in Mizar [5] product pre-measure on product sets of measurable sets. Although there are some approaches to construct product measure [22], [6], [9], [21], [25], we start it from σ-measure because existence of σ-measure on any semialgebras has been proved in [15]. In this approach, we use some theorems for integrals.EndouGifu Noboru - Gifu National College of Technology Gifu, JapanGrzegorz Bancerek. Towards the construction of a model of Mizar concepts. Formalized Mathematics, 16(2):207-230, 2008. doi:10.2478/v10037-008-0027-x.Grzegorz Bancerek. Curried and uncurried functions. Formalized Mathematics, 1(3): 537-541, 1990.Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pąk, and Josef Urban. Mizar: State-of-the-art and beyond. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Volker Sorge, editors, Intelligent Computer Mathematics, volume 9150 of Lecture Notes in Computer Science, pages 261-279. Springer International Publishing, 2015. ISBN 978-3-319-20614-1. doi:10.1007/978-3-319-20615-8 17.Heinz Bauer. Measure and Integration Theory. Walter de Gruyter Inc.Józef Białas. The σ-additive measure theory. Formalized Mathematics, 2(2):263-270, 1991.Józef Białas. Series of positive real numbers. Measure theory. Formalized Mathematics, 2(1):173-183, 1991.Vladimir Igorevich Bogachev and Maria Aparecida Soares Ruas. Measure theory, volume 1. Springer, 2007.Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1): 55-65, 1990.Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.Czesław Byliński. Basic functions and operations on functions. Formalized Mathematics, 1(1):245-254, 1990.Czesław Byliński. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.Noboru Endou. Construction of measure from semialgebra of sets. Formalized Mathematics, 23(4):309-323, 2015. doi:10.1515/forma-2015-0025.Noboru Endou and Yasunari Shidama. Integral of measurable function. Formalized Mathematics, 14(2):53-70, 2006. doi:10.2478/v10037-006-0008-x.Noboru Endou, Katsumi Wasaki, and Yasunari Shidama. Definitions and basic properties of measurable functions. Formalized Mathematics, 9(3):495-500, 2001.Noboru Endou, Katsumi Wasaki, and Yasunari Shidama. The measurability of extended real valued functions. Formalized Mathematics, 9(3):525-529, 2001.Noboru Endou, Keiko Narita, and Yasunari Shidama. The Lebesgue monotone convergence theorem. Formalized Mathematics, 16(2):167-175, 2008. doi:10.2478/v10037-008-0023-1.Noboru Endou, Hiroyuki Okazaki, and Yasunari Shidama. Hopf extension theorem of measure. Formalized Mathematics, 17(2):157-162, 2009. doi:10.2478/v10037-009-0018-6.Gerald B. Folland. Real Analysis: Modern Techniques and Their Applications. Wiley, 2 edition, 1999.P. R. Halmos. Measure Theory. Springer-Verlag, 1974.Andrzej Nędzusiak. σ-fields and probability. Formalized Mathematics, 1(2):401-407, 1990.Beata Perkowska. Functional sequence from a domain to a domain. Formalized Mathematics, 3(1):17-21, 1992.M.M. Rao. Measure Theory and Integration. Marcel Dekker, 2nd edition, 2004.Andrzej Trybulec. Binary operations applied to functions. Formalized Mathematics, 1 (2):329-334, 1990.Wojciech A. Trybulec. Non-contiguous substrings and one-to-one finite sequences. Formalized Mathematics, 1(3):569-573, 1990.Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1 (1):73-83, 1990.Hiroshi Yamazaki, Noboru Endou, Yasunari Shidama, and Hiroyuki Okazaki. Inferior limit, superior limit and convergence of sequences of extended real numbers. Formalized Mathematics, 15(4):231-236, 2007. doi:10.2478/v10037-007-0026-3

Advertising and Word-of-Mouth Effects on Pre-launch Consumer Interest and Initial Sales of Experience Products

This study examines how consumers' interest in a new experience product develops as a result of advertising and word-of-mouth activities during the pre-launch period. The empirical settings are the U.S. motion picture and video game industries. The focal variables include weekly ad spend, blog volume, online search volume during pre-launch periods, opening-week sales, and product characteristics. We treat pre-launch search volume of keywords as a measure of pre-launch consumer interest in the related product. To identify probable persistent effects among the pre-launch time-series variables, we apply a vector autoregressive modeling approach. We find that blog postings have permanent, trend-setting effects on pre-launch consumer interest in a new product, while advertising has only temporary effects. In the U.S. motion picture industry, the four-week cumulative elasticity of pre-launch consumer interest is 0.187 to advertising and 0.635 to blog postings. In the U.S. video game industry, the elasticities are 0.093 and 1.306, respectively. We also find long-run co-evolution between blog and search volume, which suggests that consumers' interest in the upcoming product cannot grow without bounds for a given level of blog volume

Variance analysis and linear contracts in agencies with distorted performance measures

This paper investigates the role of variance analysis procedures in aligning objectives under the condition of distorted performance measurement. A riskneutral agency with linear contracts is analyzed, whereby the agent receives postcontract, pre-decision information on his productivity. If the performance measure is informative with respect to the agent’s marginal product concerning the principal’s objective, variance investigation can alleviate effort misallocation. These results carry over to a participative budgeting situation, but in this case the variance investigation procedures are less demanding

Variance analysis and linear contracts in agencies with distorted performance measures

This paper investigates the role of variance analysis procedures in aligning objectives under the condition of distorted performance measurement. A riskneutral agency with linear contracts is analyzed, whereby the agent receives postcontract, pre-decision information on his productivity. If the performance measure is informative with respect to the agent’s marginal product concerning the principal’s objective, variance investigation can alleviate effort misallocation. These results carry over to a participative budgeting situation, but in this case the variance investigation procedures are less demanding.

Optimal Hierarchical Layouts for Cache-Oblivious Search Trees

This paper proposes a general framework for generating cache-oblivious layouts for binary search trees. A cache-oblivious layout attempts to minimize cache misses on any hierarchical memory, independent of the number of memory levels and attributes at each level such as cache size, line size, and replacement policy. Recursively partitioning a tree into contiguous subtrees and prescribing an ordering amongst the subtrees, Hierarchical Layouts generalize many commonly used layouts for trees such as in-order, pre-order and breadth-first. They also generalize the various flavors of the van Emde Boas layout, which have previously been used as cache-oblivious layouts. Hierarchical Layouts thus unify all previous attempts at deriving layouts for search trees. The paper then derives a new locality measure (the Weighted Edge Product) that mimics the probability of cache misses at multiple levels, and shows that layouts that reduce this measure perform better. We analyze the various degrees of freedom in the construction of Hierarchical Layouts, and investigate the relative effect of each of these decisions in the construction of cache-oblivious layouts. Optimizing the Weighted Edge Product for complete binary search trees, we introduce the MinWEP layout, and show that it outperforms previously used cache-oblivious layouts by almost 20%.Comment: Extended version with proofs added to the appendi

Outsourcing Salespeople in Building Arousal towards Retail Buying

Strategy of outsourcing salespeople (sales promoters) to prospect the customers through inter-personal communication and develop pre-purchase arousal for products and services is being increasingly employed by the manufacturing and marketing firms. Sales promoters are deployed at strategic locations such as in front of malls, large self-service stores, departmental stores and traffic islands in the city. This paper attempts to analyze behavioral drivers which influence consumers’ leisure shopping behavior and measure customer value through empirical investigation in Mexico. The study reveals that sales promoters significantly stimulate interest among customers towards buying products and trigger shopping arousal. Consumers are influenced in making buying decisions by the product attractiveness and pre-purchase arousal generated by the sales promoters.Outsourcing, sales promotion, consumer behavior, retailing, brand value, motivation, inter-personal communications, consumer marketing, recreational retailing, customer relations

Gravity action on the rapidly varying metrics

We consider a four-dimensional simplicial complex and the minisuperspace general relativity system described by the metric flat in the most part of the interior of every 4-simplex with exception of a thin layer of thickness $\propto \varepsilon$ along the every three-dimensional face where the metric undergoes jump between the two 4-simplices sharing this face. At $\varepsilon \to 0$ this jump would become discontinuity. Since, however, discontinuity of the (induced on the face) metric is not allowed in general relativity, the terms in the Einstein action tending to infinity at $\varepsilon \to 0$ arise. In the path integral approach, these terms lead to the pre-exponent factor with \dfuns requiring that the induced on the faces metric be continuous, i. e. the 4-simplices fit on their common faces. The other part of the path integral measure corresponds to the action being the sum of independent terms over the 4-simplices. Therefore this part of the path integral measure is the product of independent measures over the 4-simplices. The result obtained is in accordance with our previous one obtained from the symmetry considerations.Comment: 10 page